Proving Memory Access Violations in Isabelle/HOL.
Sharar AhmadiBrijesh DongolMatt GriffinPublished in: FTSCS (2022)
Keyphrases
- memory access
- theorem prover
- natural deduction
- data access
- inference rules
- main memory
- memory management
- shared memory
- access patterns
- external memory
- first order logic
- memory hierarchy
- processing units
- high volume
- data management
- operating system
- real time
- message passing
- data structure
- information systems
- parallel processing
- memory space
- belief propagation
- distributed systems
- markov random field
- general purpose
- data mining