- Record: found
- Abstract: not found
- Book Chapter: not found
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification
other
October 30 2018
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 references22
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Innovative instructions and software model for isolated execution
Frank McKeen, Ilya Alexandrovich, Alex Berenzon … (2013)
- Record: found
- Abstract: not found
- Book Chapter: not found
Moving Fast with Software Verification
Cristiano Calcagno, Dino Distefano, Jeremy Dubreil … (2015)
- Record: found
- Abstract: not found
- Book Chapter: not found
Infer: An Automatic Program Verifier for Memory Safety of C Programs
Cristiano Calcagno, Dino Distefano (2011)