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
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;
Conference_Titel :
Quantitative Evaluation of Systems, 2005. Second International Conference on the
Print_ISBN :
0-7695-2427-3
DOI :
10.1109/QEST.2005.42
