FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
Radu CalinescuKenneth JohnsonColin PatersonPublished in: TACAS (2016)
Keyphrases
- formal verification
- model checker
- confidence intervals
- model checking
- sample size
- conditional probabilities
- symbolic model checking
- markov chain
- formal specification
- monte carlo
- test set
- probabilistic model
- formal methods
- bayesian networks
- temporal logic
- description language
- dynamic programming
- set theory
- machine learning