Formal Verification of Generalised State Machines.
George EleftherakisPetros KefalasPublished in: Panhellenic Conference on Informatics (2008)
Keyphrases
- formal verification
- state machines
- state machine
- model checking
- petri net
- bounded model checking
- finite state machines
- recurrent networks
- automated verification
- model checker
- symbolic model checking
- reactive systems
- program slicing
- fault tolerant
- sequence diagrams
- temporal logic
- hidden markov models
- web services
- artificial intelligence