Coupling and importance sampling for statistical model checking

DOI10.1007/978-3-642-28756-5_23MaRDI QIDQ2894280zbMATH OpenOpenAlexFDO

Authors Benoît Barbot, Serge Haddad, Claudine Picaronny

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_23

zbMATH Keywords

importance samplingcouplingrare eventsstatistical model checking

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Statistical model checking for cyber-physical systems
• Statistical probabilistic model checking with a focus on time-bounded properties
• Command-based importance sampling for statistical model checking
• Computer Aided Verification
• Statistical model checking using perfect simulation

Cited in

(18)

• Sequential schemes for frequentist estimation of properties in statistical model checking
• Computer Aided Verification
• Computer Aided Verification
• Statistical model checking
• Sequential schemes for frequentist estimation of properties in statistical model checking
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
• Self-adaptive statistical model checking approach for CPS
• Statistical model checking using perfect simulation
• Command-based importance sampling for statistical model checking
• Hybrid statistical estimation of mutual information and its application to information flow
• Importance sampling for stochastic timed automata
• Statistical probabilistic model checking with a focus on time-bounded properties
• Rare-event verification for stochastic hybrid systems
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• A platform for high performance statistical model checking -- PLASMA
• Statistical model checking for cyber-physical systems
• Uniform sampling for timed automata with application to language inclusion measurement
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• HASL
• VESTA
• Uppaal
• LiQuor
• MRMC
• GreatSPN 1.7
• GreatSPN

This page was built for publication: Coupling and importance sampling for statistical model checking

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