Actively learning to verify safety for fifo automata

By Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, and Gul Agha. In FSTTCS, volume 3328 of Lecture Notes in Computer Science, 494–505. Springer, 2004.

Full Text:

Download PDF

Publisher Link:

http://dx.doi.org/10.1007/978-3-540-30538-5_41

BibTeX

@inproceedings{conf/fsttcs/VardhanSVA04,
    author = "Vardhan, Abhay and Sen, Koushik and Viswanathan, Mahesh
              and Agha, Gul",
    editor = "Lodaya, Kamal and Mahajan, Meena",
    title = "Actively Learning to Verify Safety for FIFO Automata",
    booktitle = "FSTTCS",
    crossref = "conf/fsttcs/2004",
    ee = "http://dx.doi.org/10.1007/978-3-540-30538-5_41",
    keywords = "formal methods",
    pages = "494-505",
    year = "2004",
}

@proceedings{conf/fsttcs/2004,
    editor = "Lodaya, Kamal and Mahajan, Meena",
    title = "FSTTCS 2004: Foundations of Software Technology and
             Theoretical Computer Science, 24th International Conference,
             Chennai, India, December 16-18, 2004, Proceedings",
    isbn = "3-540-24058-6",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "3328",
    year = "2004",
}