The Formal Specification and Implementation of a Modest First Order Temporal Logic.
Sharad SachdevAndré TrudelPublished in: IEA/AIE (2000)
Keyphrases
- formal specification
- temporal logic
- model checking
- formal specification language
- specification language
- linear temporal logic
- mazurkiewicz traces
- data abstraction
- model checker
- specification languages
- computation tree logic
- concurrent systems
- modal logic
- formal methods
- satisfiability problem
- object oriented design
- process algebra
- formal verification
- verification method
- temporal properties
- temporal knowledge
- epistemic logic
- bounded model checking
- information systems
- protocol specification
- automata theoretic
- first order logic
- case study