Using temporal logics of knowledge for specification and verification - a case study.
Clare DixonPublished in: J. Appl. Log. (2006)
Keyphrases
- temporal logic
- model checking
- concurrent systems
- formal verification
- transition systems
- verification method
- temporal knowledge
- formal specification
- reactive systems
- model checker
- modal logic
- case study
- linear temporal logic
- bounded model checking
- finite state
- knowledge base
- expert systems
- mazurkiewicz traces
- background knowledge
- asynchronous circuits
- higher level
- formal methods
- knowledge representation
- knowledge based systems
- modal operators
- belief revision
- temporal resolution
- predicate logic
- computation tree logic
- satisfiability problem
- temporal epistemic