From Box Algebra to Interval Temporal Logic.
Hanna KlaudelMaciej KoutnyZhenhua DuanBen C. MoszkowskiPublished in: Fundam. Informaticae (2019)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- temporal knowledge
- transition systems
- concurrent systems
- mazurkiewicz traces
- query language
- real numbers
- relational algebra
- model checker
- computation tree logic
- linear temporal logic
- reactive systems
- belief revision
- data model
- bounded model checking
- verification method
- search algorithm
- set theory
- temporally extended goals
- formal specification language