- Record: found
- Abstract: not found
- Book Chapter: not found
Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB
other
July 04 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 references16
- Record: found
- Abstract: not found
- Book Chapter: not found
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Anthony Fox, Magnus O. Myreen (2010)
- Record: found
- Abstract: not found
- Book Chapter: not found
Extraction in Coq: An Overview
Pierre Letouzey (2008)
- Record: found
- Abstract: not found
- Book Chapter: not found
Executing Higher Order Logic
Stefan Berghofer, Tobias Nipkow (2002)