MultiVeStA: Statistical Model Checking for Discrete Event Simulators

Abstract

The modeling, analysis and performance evaluation of large-scale systems are difficult tasks. An approach typically followed by engineers consists in performing simulations of systems models to obtain statistical estimations of quantitative properties. Similarly, a technique used by computer scienti