Automating Deductive Verification for Weak-Memory Programs.
Alexander J. SummersPeter MüllerPublished in: CoRR (2017)
Keyphrases
- functional programs
- symbolic execution
- model checking
- database languages
- memory requirements
- memory space
- memory size
- memory usage
- face verification
- object oriented
- hardware designs
- formal verification
- test generation
- automatic programming
- computing power
- limited memory
- main memory
- functional verification
- java bytecode
- database systems
- control flow
- random access
- logic programs