Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Logic in computer science / Software engineering / Proof assistants / Automated theorem proving / Formal verification / Interactive Theorem Proving / Isabelle / Coq / HOL / Correctness


Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1
Add to Reading List

Document Date: 2018-05-16 23:20:58


Open Document

File Size: 230,31 KB

Share Result on Facebook
UPDATE