Symbolic execution and timed automata model checking for timing analysis of Java real-time systems.
Kasper Søe LuckowCorina S. PasareanuBent ThomsenPublished in: EURASIP J. Embed. Syst. (2015)
Keyphrases
- timed automata
- symbolic execution
- real time systems
- source code
- model checking
- static analysis
- reachability analysis
- test data generation
- test generation
- specification language
- open source
- real time
- distributed systems
- temporal logic
- programming language
- embedded systems
- software systems
- formal verification
- web services
- formal specification
- model checker
- object oriented
- machine learning
- formal methods
- data flow