Statistical Model Checking Using Perfect Simulation

DOI10.1007/978-3-642-04761-9_11zbMath1262.68119OpenAlexW1588278207MaRDI QIDQ3648695

Nihal Pekergin, Diana El Rabih

Publication date: 1 December 2009

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-04761-9_11

Mathematics Subject Classification ID

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

Related Items (3)

Statistical Verification of Probabilistic Properties with Unbounded Until ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Statistical Model Checking Using Perfect Simulation

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• A logic for reasoning about time and reliability
• On the exact simulation of functionals of stationary Markov chains
• Statistical probabilistic model checking with a focus on time-bounded properties
• Statistical Model Checking Using Perfect Simulation
• Exact sampling with coupled Markov chains and applications to statistical mechanics
• Computer Aided Verification
• Model-checking continuous-time Markov chains
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Statistical Model Checking Using Perfect Simulation