Constraint Deduction in an Interval-based Temporal Logic.
Jana KoehlerRalf TreinenPublished in: Executable Modal and Temporal Logics (1993)
Keyphrases
- temporal logic
- model checking
- modal logic
- inference rules
- satisfiability problem
- theorem proving
- belief revision
- temporal reasoning
- predicate logic
- mazurkiewicz traces
- computation tree logic
- linear temporal logic
- concurrent systems
- verification method
- temporal information
- temporal properties
- model checker
- bounded model checking
- finite state
- theorem prover