A Platform for High Performance Statistical Model Checking – PLASMA

DOI10.1007/978-3-642-28756-5_37zbMath1352.68156OpenAlexW180513329MaRDI QIDQ2894294

Cyrille Jegourel, Axel Legay, Sean Sedwards

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_37

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Command-based importance sampling for statistical model checking ⋮ Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Model-based testing of probabilistic systems ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Identity-Based Hierarchical Key-Insulated Encryption Without Random Oracles ⋮ Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

Uses Software

• PRISM
• VESTA
• Ymer
• PLASMA

This page was built for publication: A Platform for High Performance Statistical Model Checking – PLASMA