Timed Modal Logics for Real-Time Systems - Specification, Verification and Control.
Patricia BouyerFranck CassezFrançois LaroussiniePublished in: J. Log. Lang. Inf. (2011)
Keyphrases
- real time systems
- modal logic
- temporal logic
- timed automata
- real time embedded
- model checking
- formal verification
- real time
- distributed systems
- inference rules
- colored petri nets
- decision procedures
- epistemic logic
- nonmonotonic logics
- reactive systems
- petri net
- formal methods
- embedded systems
- high level
- real time database systems
- timing constraints
- finite state machines
- object oriented programming language
- default logic
- formal specification
- model checker
- propositional logic
- situation calculus
- low cost
- data model
- cooperative
- case study