Automating deductive verification for weak-memory programs (extended version).
Alexander J. SummersPeter MüllerPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- functional programs
- database languages
- symbolic execution
- memory requirements
- memory usage
- proof planning
- object oriented
- memory size
- computing power
- limited memory
- memory space
- programming environment
- hardware designs
- test generation
- fixpoint
- real time
- computer programs
- object oriented databases
- logic programs
- relational databases
- database systems
- genetic algorithm