DocumentCode
3280939
Title
VESTA: A statistical model-checker and analyzer for probabilistic systems
Author
Sen, Koushik ; Viswanathan, Mahesh ; Agha, Gul
Author_Institution
Dept. of Comput. Sci., Illinois Univ., Urbana Champaign, IL, USA
fYear
2005
fDate
19-22 Sept. 2005
Firstpage
251
Lastpage
252
Abstract
We give a brief overview of a statistical model-checking and analysis tool VESTA. VESTA is a tool for statistical analysis of probabilistic systems. It supports statistical model-checking and statistical evaluation of expected values of temporal expressions.
Keywords
formal verification; probabilistic logic; software tools; statistical analysis; analysis tool VESTA; probabilistic system; statistical analysis; statistical evaluation; statistical model-checker; Algorithm design and analysis; Computational modeling; Computer science; Database languages; Discrete event simulation; Independent component analysis; Logic testing; Probabilistic logic; Statistical analysis; Stochastic processes;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2005. Second International Conference on the
Print_ISBN
0-7695-2427-3
Type
conf
DOI
10.1109/QEST.2005.42
Filename
1595805
Link To Document