MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.
Bernhard JoskoPublished in: Temporal Logic in Specification (1987)
Keyphrases
- concurrent systems
- temporal logic
- model checking
- computation tree logic
- transition systems
- formal specification
- linear time temporal logic
- process algebra
- formal verification
- model checker
- bounded model checking
- verification method
- distributed systems
- temporal properties
- finite state
- modal logic
- epistemic logic
- linear temporal logic
- artificial intelligence
- face recognition
- symbolic model checking
- belief revision
- reactive systems
- neural network
- modular neural networks
- case study
- reverse engineering