A Practical Application of UPPAAL and DTRON for Runtime Verification.
Dragos TruscanTanwir AhmadFaezeh SiavashiPekka TuuttilaPublished in: SER&IP@ICSE (2015)
Keyphrases
- practical application
- model checking
- model checker
- formal verification
- temporal logic
- formal methods
- timed automata
- verification method
- concurrent systems
- image processing
- description language
- asynchronous circuits
- signature verification
- data sets
- formal specification
- face recognition
- search engine
- genetic algorithm