Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.
Ping ZhouJozef HoomanRuurd KuiperPublished in: Formal Aspects Comput. (1996)
Keyphrases
- real time systems
- temporal logic
- model checking
- verification method
- concurrent systems
- model checker
- formal verification
- modal logic
- real time
- bounded model checking
- distributed systems
- linear temporal logic
- satisfiability problem
- real time database systems
- reactive systems
- embedded systems
- symbolic model checking
- computation tree logic
- formal specification
- linear time temporal logic
- real time embedded
- timing constraints
- temporal knowledge
- architectural model
- belief revision
- mazurkiewicz traces
- transition systems
- temporally extended
- automata theoretic