A platform for high performance statistical model checking -- PLASMA

DOI10.1007/978-3-642-28756-5_37MaRDI QIDQ2894294zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Statistical model checking for cyber-physical systems
• Rare events for statistical model checking an overview
• Coupling and importance sampling for statistical model checking
• Computer Aided Verification
• Statistical model checking using perfect simulation

Cited in

(8)

• Rare events for statistical model checking an overview
• Identity-Based Hierarchical Key-Insulated Encryption Without Random Oracles
• Statistical approximation of optimal schedulers for probabilistic timed automata
• 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
• Sequential schemes for frequentist estimation of properties in statistical model checking
• Model-based testing of probabilistic systems

Describes a project that uses

Uses Software

• PRISM
• VESTA
• Ymer
• PLASMA

This page was built for publication: A platform for high performance statistical model checking -- PLASMA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894294)