Wrapping Real-Time Systems from Temporal Logic Specifications.
Manuel RodríguezJean-Charles FabreJean ArlatPublished in: EDCC (2002)
Keyphrases
- real time systems
- temporal logic
- reactive systems
- concurrent systems
- transition systems
- model checking
- model checker
- bounded model checking
- formal specification language
- embedded real time systems
- real time
- formal specification
- modal logic
- distributed systems
- satisfiability problem
- embedded systems
- linear temporal logic
- timing constraints
- computation tree logic
- real time embedded
- mazurkiewicz traces
- verification method
- object oriented programming language
- epistemic logic
- real time database systems
- temporal knowledge
- formal verification
- formal methods
- software systems
- computational intelligence
- software engineering
- high level