On hypothesis testing for statistical model checking.
Daniël ReijsbergenPieter-Tjerk de BoerWerner R. W. ScheinhardtBoudewijn R. HaverkortPublished in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
- hypothesis testing
- model checking
- temporal logic
- likelihood ratio
- formal verification
- automated verification
- temporal properties
- statistical tests
- hypothesis test
- model checker
- formal specification
- verification method
- computation tree logic
- transition systems
- timed automata
- reachability analysis
- symbolic model checking
- confidence intervals
- robust statistical
- formal methods
- bounded model checking
- hypothesis tests
- concurrent systems
- epistemic logic
- pspace complete
- modal logic
- alternating time temporal logic
- test statistic
- satisfiability problem
- deterministic finite automaton