Statistical Verification of Probabilistic Properties with Unbounded Until
From MaRDI portal
Publication:2999315
DOI10.1007/978-3-642-19829-8_10zbMath1325.68158OpenAlexW2105964247MaRDI QIDQ2999315
Håkan L. S. Younes, Paolo Zuliani, Edmund M. 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
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (4)
Statistical Model Checking for Variability-Intensive Systems ⋮ Certified reinforcement learning with logic guidance ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Statistical model checking for variability-intensive systems: applications to bug detection and minimization
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Symbolic model checking: \(10^{20}\) states and beyond
- Symbolic model checking for real-time systems
- A logic for reasoning about time and reliability
- Probabilistic verification and approximation
- Statistical probabilistic model checking with a focus on time-bounded properties
- Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6--10, 2005. Proceedings
- Statistical Model Checking Using Perfect Simulation
- An abstract Monte-Carlo method for the analysis of probabilistic programs
- Probability Inequalities for Sums of Bounded Random Variables
- On the Asymptotic Theory of Fixed-Width Sequential Confidence Intervals for the Mean
- Computer Aided Verification
- Computer Aided Verification
- Sequential Tests of Statistical Hypotheses
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Statistical Verification of Probabilistic Properties with Unbounded Until