Open Systems Laboratory at Illinois

Vesta: a statistical model-checker and analyzer for probabilistic systems

By Koushik Sen, Mahesh Viswanathan, and Gul A. Agha. In QEST, 251–252. IEEE Computer Society, 2005.

Full Text:
Download PDF
Publisher Link:


    author = "Sen, Koushik and Viswanathan, Mahesh and Agha, Gul A.",
    title = "VESTA: A Statistical Model-checker and Analyzer for
             Probabilistic Systems",
    booktitle = "QEST",
    crossref = "conf/qest/2005",
    ee = "",
    keywords = "formal methods, software engineering",
    pages = "251-252",
    year = "2005",

    title = "Second International Conference on the Quantitative
             Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino,
    publisher = "IEEE Computer Society",
    year = "2005",