Runtime verification using the temporal description logic ALC-LTL revisited.
Franz BaaderMarcel LippmannPublished in: J. Appl. Log. (2014)
Keyphrases
- model checking
- linear temporal logic
- bounded model checking
- temporal logic
- modal logic
- linear time temporal logic
- description logic alc
- formal verification
- spatio temporal
- temporal constraints
- concurrent systems
- verification method
- space time
- temporal patterns
- temporal data
- asynchronous circuits
- database systems
- model checker
- temporal reasoning
- natural deduction
- temporal consistency
- transition systems
- formal methods
- spatial and temporal
- databases