VESTA: A statistical model-checker and analyzer for probabilistic systems
Koushik Sen, Mahesh Viswanathan, Gul Agha · 2005
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.