Statistical model checking for cyber-physical systems

DOI10.1007/978-3-642-24372-1_1MaRDI QIDQ3172901zbMATH OpenOpenAlexFDO

Authors Paolo Zuliani, Edmund Clarke

Publication date 7 October 2011

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24372-1_1

Mathematics Subject Classification ID

Statistical aspects of information-theoretic topics (62B10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Coupling and importance sampling for statistical model checking
• Rare-event verification for stochastic hybrid systems
• Computer Aided Verification
• Command-based importance sampling for statistical model checking
• Statistical model checking

Cited in

(28)

• Statistical Model Checking for Variability-Intensive Systems
• A survey of statistical model checking
• Comparative analysis of statistical model checking tools
• Sequential schemes for frequentist estimation of properties in statistical model checking
• Multilevel Monte Carlo method for statistical model checking of hybrid systems
• End-to-end statistical model checking for parametric ODE models
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Sequential schemes for frequentist estimation of properties in statistical model checking
• Coupling and importance sampling for statistical model checking
• A platform for high performance statistical model checking -- PLASMA
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Model checking of biological systems
• Statistical model checking
• Monitoring algorithmic fairness
• Statistical model checking for composite actor systems
• Hybrid statistical estimation of mutual information and its application to information flow
• Self-adaptive statistical model checking approach for CPS
• Rare events for statistical model checking an overview
• Terminal satisfiability in GSTE
• Command-based importance sampling for statistical model checking
• Statistical model checking of stochastic component-based systems
• Computer Aided Verification
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Statistical verification of PCTL using antithetic and stratified samples
• Statistical model checking of complex robotic systems
• Moded and continuous abstract state machines
• Rare-event verification for stochastic hybrid systems

Describes a project that uses

Uses Software

• APMC

This page was built for publication: Statistical model checking for cyber-physical systems

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