Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic.

Shiu-Kai Chin Graham M. Birtwistle

Published in: TPHOLs (1991)

Keyphrases

finite state machines
higher order logic
model checking
higher order
finite state automata
theorem prover
temporal logic
regular expressions
machine learning
decision trees
pairwise
matching algorithm
logical framework
conditional logic