Formal verification of state-machines using higher-order logic.
Paul LoewensteinPublished in: ICCD (1989)
Keyphrases
- formal verification
- higher order logic
- state machines
- higher order
- state machine
- model checking
- theorem prover
- petri net
- conditional logic
- reactive systems
- logical framework
- model checker
- bounded model checking
- recurrent networks
- automated verification
- finite state machines
- belief revision
- artificial intelligence
- temporal logic
- sequence diagrams
- default reasoning
- inference rules
- data representation
- distributed systems
- expert systems