Statistical verification of probabilistic properties with unbounded until

DOI10.1007/978-3-642-19829-8_10MaRDI QIDQ2999315zbMATH OpenOpenAlexFDO

Authors Håkan L. S. Younes, Paolo Zuliani, Edmund Clarke

Publication date 12 May 2011

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

Full work available at URL https://eprint.ncl.ac.uk/fulltext.aspx?url=188991/990E03F6-984D-402E-88CF-9CB5EBEA168D.pdf&pub_id=188991

Mathematics Subject Classification ID

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

Recommendations

• Statistical probabilistic model checking with a focus on time-bounded properties
• Statistical model checking using perfect simulation
• Tools and Algorithms for the Construction and Analysis of Systems

Cites work

• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 854710 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A logic for reasoning about time and reliability
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• Computer Aided Verification
• Computer Aided Verification
• Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6--10, 2005. Proceedings
• On the Asymptotic Theory of Fixed-Width Sequential Confidence Intervals for the Mean
• Probabilistic verification and approximation
• Probability Inequalities for Sums of Bounded Random Variables
• Sequential Tests of Statistical Hypotheses
• Statistical model checking using perfect simulation
• Statistical probabilistic model checking with a focus on time-bounded properties
• Symbolic model checking for real-time systems
• Symbolic model checking: \(10^{20}\) states and beyond
• Verification, Model Checking, and Abstract Interpretation

Cited in

(4)

• Unbounded probabilistic sophistication
• Statistical Model Checking for Variability-Intensive Systems
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
• Certified reinforcement learning with logic guidance

Describes a project that uses

Uses Software

• Ymer
• PRISM

This page was built for publication: Statistical verification of probabilistic properties with unbounded until

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