Formal Verification of Memory Preservation of x86-64 Binaries.
Joshua A. BockenekFreek VerbeekPeter LammichBinoy RavindranPublished in: SAFECOMP (2019)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- source code
- memory requirements
- main memory
- temporal logic
- memory usage
- neural network
- program slicing
- memory size
- functional verification
- limited memory
- memory space
- open source software
- associative memory
- open source
- digital libraries
- multi agent systems