Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308388zbMATH OpenOpenAlexFDO

Authors

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Statistical probabilistic model checking with a focus on time-bounded properties
• Computer Aided Verification
• Coupling and importance sampling for statistical model checking
• Computer Aided Verification
• scientific article; zbMATH DE number 1670788

Cited in

(11)

• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
• System design of stochastic models using robustness of temporal properties
• Quantitative verification of implantable cardiac pacemakers over hybrid heart models
• Statistical probabilistic model checking with a focus on time-bounded properties
• Least upper bounds for probability measures and their applications to abstractions
• Statistical verification of probabilistic properties with unbounded until
• Model checking probabilistic systems
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
• DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version
• Sequential schemes for frequentist estimation of properties in statistical model checking

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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