The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2005)
Torino, Italy
Sept. 19, 2005 to Sept. 22, 2005
ISBN: 0-7695-2427-3
pp: 251-252
Mahesh Viswanathan , University of Illinois at Urbana Champaign
Gul Agha , University of Illinois at Urbana Champaign
Koushik Sen , University of Illinois at Urbana Champaign
ABSTRACT
We give a brief overview of a statistical model-checking and analysis tool VESTA.
INDEX TERMS
null
CITATION
Mahesh Viswanathan, Gul Agha, Koushik Sen, "VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems", Quantitative Evaluation of Systems, International Conference on, vol. 00, no. , pp. 251-252, 2005, doi:10.1109/QEST.2005.42
244 ms
(Ver 3.3 (11022016))