Compositional Verification of Compiler Optimisations on Relaxed Memory.
Mike DoddsMark BattyAlexey GotsmanPublished in: ESOP (2018)
Keyphrases
- computing power
- general purpose
- memory requirements
- neural network
- level parallelism
- optimal solution
- memory usage
- memory space
- associative memory
- model checking
- programming language
- main memory
- computational power
- data sets
- limited memory
- signature verification
- formal verification
- external memory
- memory size
- low memory
- false acceptance rate
- high level
- functional verification