Vesta: a statistical model-checker and analyzer for probabilistic systems
By
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", }