Towards deductive verification of C11 programs with Event-B and ProB.
Mohammadsadegh DalvandiBrijesh DongolPublished in: FTfJP@ECOOP (2019)
Keyphrases
- functional programs
- hardware designs
- event detection
- database languages
- symbolic execution
- event driven
- databases
- data sets
- model checking
- news articles
- face verification
- abductive inference
- hypothesis formation
- verification method
- automatic programming
- signature verification
- control flow
- formal verification
- fixpoint
- program execution
- formal methods
- computer programs
- temporal patterns
- object oriented
- query language
- web services
- website