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

couplingimportance samplingrare eventsstatistical model checking

Mathematics Subject Classification ID

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

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

(20)

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

Describes a project that uses

Uses Software

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

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)