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
Koushik Sen , University of Illinois at Urbana Champaign
Mahesh Viswanathan , University of Illinois at Urbana Champaign
Gul Agha , 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

M. Viswanathan, G. Agha and K. Sen, "VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems," Proceedings. Second International Conference on the Quantitative Evaluation of Systems(QEST), Torino, 2005, pp. 251-252.
doi:10.1109/QEST.2005.42
93 ms
(Ver 3.3 (11022016))