loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on the Quantitative Evaluation of Systems (QEST'05)
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems
Torino, Italy
September 19-September 22
ISBN: 0-7695-2427-3
Koushik Sen, University of Illinois at Urbana Champaign
Mahesh Viswanathan, University of Illinois at Urbana Champaign
Gul Agha, University of Illinois at Urbana Champaign
We give a brief overview of a statistical model-checking and analysis tool VESTA.
Citation:
Koushik Sen, Mahesh Viswanathan, Gul Agha, "VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems," qest, pp.251-252, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.