VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Koushik Sen Articles by Mahesh Viswanathan Articles by Gul Agha

Second International Conference on the Quantitative Evaluation of Systems (QEST'05)

Torino, Italy

September 19-September 22

ISBN: 0-7695-2427-3

	ASCII Text	x
	Koushik Sen, Mahesh Viswanathan, Gul Agha, "VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems," Quantitative Evaluation of Systems, International Conference on, pp. 251-252, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005.

	BibTex	x
	@article{ 10.1109/QEST.2005.42, author = {Koushik Sen and Mahesh Viswanathan and Gul Agha}, title = {VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2005}, isbn = {0-7695-2427-3}, pages = {251-252}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2005.42}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Quantitative Evaluation of Systems, International Conference on TI - VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems SN - 0-7695-2427-3 SP251 EP252 A1 - Koushik Sen, A1 - Mahesh Viswanathan, A1 - Gul Agha, PY - 2005 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER -

Koushik Sen, University of Illinois at Urbana Champaign

Mahesh Viswanathan, University of Illinois at Urbana Champaign

Gul Agha, University of Illinois at Urbana Champaign

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

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.