论文信息 - VESTA: A statistical model-checker and analyzer for probabilistic systems

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

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.

[1] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[2] Koushik Sen,et al. Rule-Based Runtime Verification , 2004, VMCAI.

[3] José Meseguer,et al. A Rewriting Based Model for Probabilistic Distributed Object Systems , 2003, FMOODS.

[4] Gul Agha,et al. Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories , 2005 .

[5] Marta Z. Kwiatkowska,et al. PRISM 2.0: a tool for probabilistic model checking , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

[6] Mahesh Viswanathan,et al. On Statistical Model Checking of Stochastic Systems , 2005, CAV.

[7] Håkan L. S. Younes,et al. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.