Verified Erasure Correction in Coq with MathComp and VST.

Joshua M. Cohen Qinshi Wang Andrew W. Appel

Published in: CAV (2) (2022)

Keyphrases

formal methods
real world
theorem prover
real time
databases
machine learning
case study
multiresolution
error analysis