Applications of Modal Logic for the Specification of Real-Time Systems.
Liang ChenAlistair MunroPublished in: FME (1993)
Keyphrases
- modal logic
- real time systems
- reactive systems
- temporal logic
- real time
- inference rules
- distributed systems
- epistemic logic
- embedded systems
- classical logic
- architectural model
- mission critical
- nonmonotonic logics
- situation calculus
- real time embedded
- default logic
- dynamic logic
- timing constraints
- object oriented programming language
- formal specification
- conditional logic
- real time database systems
- model checking
- formal verification
- explanation based generalization
- prime implicates
- modal operators
- code generation
- formal methods
- belief revision
- software systems
- software engineering