Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation.

Hao Bu Meng Sun

Published in: IEEE Trans. Software Eng. (2024)

Keyphrases

model checking
temporal logic
orders of magnitude
deterministic finite automaton
computational complexity

verification method
finite state
reachability analysis
partial order reduction
formal verification

temporal properties
automated verification
concurrent systems
transition systems

bounded model checking
model checker
formal methods
distributed systems