Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution.
Timothy K. ZirkelStephen F. SiegelTimothy McCloryPublished in: NASA Formal Methods (2013)
Keyphrases
- symbolic execution
- automated verification
- model checking
- specification language
- formal specification
- temporal logic
- static analysis
- test generation
- formal verification
- test data generation
- university of north carolina
- source code
- model checker
- automated reasoning
- data flow
- computation tree logic
- verification method
- test cases
- databases
- north carolina
- formal methods
- regular expressions
- error rate
- data model
- genetic algorithm