Coupling and Importance Sampling for Statistical Model Checking

DOI10.1007/978-3-642-28756-5_23zbMath1352.68143OpenAlexW2277593739MaRDI QIDQ2894280

Benoît Barbot, Claudine Picaronny, Serge Haddad

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 samplingrare eventscouplingstatistical 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)

Related Items (3)

Command-based importance sampling for statistical model checking ⋮ On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets ⋮ Hybrid statistical estimation of mutual information and its application to information flow

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