Automating Deductive Verification for Weak-Memory Programs.
Alexander J. SummersPeter MüllerPublished in: TACAS (1) (2018)
Keyphrases
- functional programs
- hardware designs
- database languages
- symbolic execution
- memory usage
- memory size
- memory space
- abductive inference
- low memory
- main memory
- memory requirements
- computational power
- model checking
- object oriented
- programming language
- computer programs
- associative memory
- signature verification
- computing power
- face verification
- multi threaded
- automatic programming
- formal verification
- verification method
- explanation based learning
- hypothesis formation
- logic programs