A verification system for timed interval calculus.
Chunqing ChenJin Song DongJun SunPublished in: ICSE (2008)
Keyphrases
- timed automata
- model checking
- formal verification
- temporal logic
- process algebra
- petri net
- verification method
- formal methods
- colored petri nets
- asynchronous circuits
- face verification
- neural network
- finite state machines
- formal specification
- computer algebra
- automated deduction
- expressive power
- concurrent systems
- first order logic
- artificial intelligence