Keyphrases
- model checking
- temporal logic
- timed automata
- petri net
- computation tree logic
- bounded model checking
- temporal properties
- finite state machines
- computer vision
- case study
- linear temporal logic
- parametric models
- alternating time temporal logic
- databases
- formal verification
- semi parametric
- discrete event
- formal specification
- state space
- expert systems
- data mining
- neural network