Specifying real-time requirements for SDL specifications - a temporal logic-based approach.
Stefan LeuePublished in: PSTV (1995)
Keyphrases
- temporal logic
- real time
- concurrent systems
- model checking
- transition systems
- bounded model checking
- reactive systems
- real time systems
- model checker
- formal specification language
- functional requirements
- modal logic
- satisfiability problem
- formal specification
- computation tree logic
- temporal knowledge
- verification method
- written in natural language
- mazurkiewicz traces
- predicate logic
- belief revision
- domain independent
- epistemic logic
- multi agent systems