UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Johan BengtssonKim Guldstrand LarsenFredrik LarssonPaul PetterssonWang YiPublished in: Hybrid Systems (1995)
Keyphrases
- real time systems
- tool suite
- timed automata
- real time
- model checking
- embedded systems
- distributed systems
- real time database systems
- mission critical
- timing constraints
- java programs
- controller synthesis
- reverse engineering
- architectural model
- database systems
- real time embedded
- anytime algorithms
- object oriented programming language