Reasoning about State Machines in Higher-Order Logic.

Paul Loewenstein

Published in: Hardware Specification, Verification and Synthesis (1989)

Keyphrases

state machines
higher order logic
higher order
state machine
theorem prover
petri net
conditional logic
logical framework
recurrent networks
data representation
sequence diagrams
finite state machines
automated reasoning
learning algorithm
inference rules
fault tolerant
artificial neural networks