Verification of asynchronous systems with unbounded and unordered message buffers

By Prasanna Thati and Mahesh Viswanathan. In International Workshop on Automated Verification of Infinite State Systems (AVIS). 2004.

Full Text:

Download PDF

BibTeX

@inproceedings{avis04,
    author = "Thati, Prasanna and Viswanathan, Mahesh",
    title = "Verification of Asynchronous Systems with Unbounded and
             Unordered Message Buffers",
    booktitle = "International Workshop on Automated Verification
                 of Infinite State Systems (AVIS)",
    keywords = "formal methods",
    year = "2004",
}