A survey of statistical model checking

DOI10.1145/3158668MaRDI QIDQ6583725zbMATH OpenFDO

Authors Gul A. Agha, Karl Palmskog

Publication date 6 August 2024

Published in ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3158668

zbMATH Keywords

estimationhypothesis testingsimulationstatistical model checkingtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Parametric hypothesis testing (62F03) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Computer Aided Verification
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Statistical model checking for cyber-physical systems
• Computer Aided Verification

Cited in

(8)

• Statistical model checking of complex robotic systems
• PAC statistical model checking for Markov decision processes and stochastic games
• Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems
• Monitoring algorithmic fairness
• Building correct-by-construction systems with formal patterns
• Sequential schemes for frequentist estimation of properties in statistical model checking
• End-to-end statistical model checking for parameterization and stability analysis of ODE models
• Learning algorithms for verification of Markov decision processes

This page was built for publication: A survey of statistical model checking

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