Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic.

Klaus Schneider Ramayya Kumar Thomas Kropf

Published in: HUG (1993)

Keyphrases

finite state machines
higher order logic
proof procedures
higher order
inference rules
theorem prover
finite state automata
logical framework
model checking
conditional logic
fixpoint
hidden markov models
regular expressions
automated reasoning
theorem proving
modal logic
matching algorithm
pairwise