Partial Order Methods for Statistical Model Checking and Simulation

Abstract

Statistical model checking has become a promising technique to circumvent the state space explosion problem in model-based verification. It trades time for memory, via a probabilistic simulation and exploration of the model behaviour—often combined with effective a posteriori hypothesis testing. However, as a simulation-based approach, it can only provide… (More)
DOI: 10.1007/978-3-642-21461-5_4

Topics

5 Figures and Tables