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:

http://doi.ieeecomputersociety.org/10.1109/QEST.2005.42

BibTeX

@inproceedings{conf/qest/SenVA05,
    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 = "http://doi.ieeecomputersociety.org/10.1109/QEST.2005.42",
    keywords = "formal methods, software engineering",
    pages = "251-252",
    year = "2005",
}

@proceedings{conf/qest/2005,
    title = "Second International Conference on the Quantitative
             Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino,
             Italy",
    publisher = "IEEE Computer Society",
    year = "2005",
}