Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic.
Haibin ZhangZhenhua DuanBohu HuangXiaobing WangLong ZhangPublished in: TASE (2010)
Keyphrases
- computation tree logic
- hybrid systems
- model checking
- timed automata
- discrete event
- temporal logic
- finite state machines
- black box
- bounded model checking
- dynamic systems
- epistemic logic
- formal specification
- temporal properties
- formal verification
- artificial intelligence
- model checker
- computational intelligence
- petri net
- formal methods
- symbolic model checking
- transition systems
- concurrent systems
- modal logic
- reactive systems
- planning domains
- linear temporal logic
- alternating time temporal logic