A Proof Theory for Model Checking: An Extended Abstract.

Quentin Heath Dale Miller

Published in: LINEARITY (2016)

Keyphrases

extended abstract
model checking
proof theory
default reasoning
temporal logic
automated reasoning
model checker
formal verification
finite state machines
reasoning problems
verification method
formal methods
bayesian networks
programming language
decision procedures