- Record: found
- Abstract: not found
- Book Chapter: not found
NASA Formal Methods
Infer: An Automatic Program Verifier for Memory Safety of C Programs
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references12
- Record: found
- Abstract: not found
- Book Chapter: not found
A Local Shape Analysis Based on Separation Logic
Dino Distefano, Peter O’Hearn, Hongseok Yang (2006)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Abstractions from proofs
Rupak Majumdar, Thomas Henzinger, Ranjit Jhala … (2004)
- Record: found
- Abstract: not found
- Book Chapter: not found
TVLA: A System for Implementing Static Analyses
Tal Lev-Ami, Mooly Sagiv (2000)