Rare events for statistical model checking an overview

DOI10.1007/978-3-319-45994-3_2MaRDI QIDQ1708653zbMATH OpenOpenAlexFDO

Authors Axel Legay, Sean Sedwards, Louis-Marie Traonouez

Publication date 26 March 2018

Full work available at URL https://hal.inria.fr/hal-01387406/file/main.pdf

Mathematics Subject Classification ID

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

Recommendations

• Statistical model checking for cyber-physical systems
• Rare-event verification for stochastic hybrid systems
• A platform for high performance statistical model checking -- PLASMA
• scientific article; zbMATH DE number 5560392
• Rare event analysis by Monte Carlo techniques in static models

Cited in

(6)

• Automated and distributed statistical analysis of economic agent-based models
• Statistical approximation of optimal schedulers for probabilistic timed automata
• Efficient trace generation for rare-event analysis in chemical reaction networks
• Rare-event verification for stochastic hybrid systems
• A platform for high performance statistical model checking -- PLASMA
• Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems

Describes a project that uses

Uses Software

• PLASMA

This page was built for publication: Rare events for statistical model checking an overview

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