VeStA: A statistical model-checker and analyzer for probabilistic systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We give a brief overview of a statistical model-checking and analysis tool VESTA.

Original languageEnglish (US)
Title of host publicationQEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Pages251-252
Number of pages2
DOIs
StatePublished - 2005
EventQEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems - Torino, Italy
Duration: Sep 19 2005Sep 22 2005

Publication series

NameQEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Volume2005

Other

OtherQEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems
CountryItaly
CityTorino
Period9/19/059/22/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'VeStA: A statistical model-checker and analyzer for probabilistic systems'. Together they form a unique fingerprint.

Cite this