34 search results - page 1 / 7 » VESTA: A Statistical Model-checker and Analyzer for Probabil... |
HVC
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
QEST
2005
IEEE
13 years 10 months ago
2005
IEEE
CAV
2012
Springer
11 years 7 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
CAV
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...