A Proof Theory for Model Checking.

Quentin Heath Dale Miller

Published in: J. Autom. Reason. (2019)

Keyphrases

model checking
proof theory
default reasoning
temporal logic
automated reasoning
model checker
finite state machines
formal verification
formal methods
reasoning problems
verification method
learning algorithm
knowledge representation
decision makers
inference rules