FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals
Abstract elided by the publisher.
Related papers
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- Correct Probabilistic Model Checking with Floating-Point Arithmetic TACAS 2022
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes CAV 2017
- Fixed Point Certificates for Reachability and Expected Rewards in MDPs TACAS 2025
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains TACAS 2024
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021
- Static analysis for probabilistic programs: inferring whole program properties from finitely many paths PLDI 2013