Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution.
Mazen AhmedMona SafarPublished in: ICM (2018)
Keyphrases
- formal verification
- symbolic execution
- model checking
- static analysis
- test data generation
- test generation
- specification language
- model checker
- source code
- bounded model checking
- symbolic model checking
- automated verification
- data flow
- test cases
- data sets
- decision trees
- databases
- database
- knowledge management
- open source
- programming language