Annotation-Based Deduction in Temporal Logic.
Hugh McGuireZohar MannaRichard J. WaldingerPublished in: ICTL (1994)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- inference rules
- concurrent systems
- mazurkiewicz traces
- theorem proving
- verification method
- temporal knowledge
- predicate logic
- transition systems
- belief revision
- linear temporal logic
- automata theoretic
- temporal properties
- reinforcement learning
- heuristic search
- formal specification language
- domain specific