Algebra for Infinite Forests with an Application to the Temporal Logic EF.
Mikolaj BojanczykTomasz IdziaszekPublished in: CONCUR (2009)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- real numbers
- concurrent systems
- query language
- data model
- relational algebra
- predicate logic
- linear temporal logic
- model checker
- computation tree logic
- set theory
- verification method
- automata theoretic
- reactive systems
- temporal properties
- belief revision
- knowledge representation
- bounded model checking
- mazurkiewicz traces
- data flow
- temporal knowledge
- dynamic constraints