Scenario-based verification of real-time systems using Uppaal.
Shuhao LiSandie BalaguerAlexandre DavidKim G. LarsenBrian NielsenSaulius PusinskasPublished in: Formal Methods Syst. Des. (2010)
Keyphrases
- real time systems
- model checking
- timed automata
- model checker
- formal verification
- real time
- temporal logic
- formal methods
- distributed systems
- embedded systems
- real time database systems
- mission critical
- timing constraints
- real time embedded
- formal specification
- architectural model
- description language
- object oriented programming language