Œuf: minimizing the Coq extraction TCB.

Eric Mullen Stuart Pernsteiner James R. Wilcox Zachary Tatlock Dan Grossman

Published in: CPP (2018)

Keyphrases

theorem prover
knowledge extraction
information extraction
multiscale
real time
data sets
clustering algorithm
software engineering
automatic extraction
formal methods
insider attacks