Keyword:Functional correctness verification

Papers
Verified Erasure Correction in Coq with MathComp and VST Joshua M. Cohen, Qinshi Wang and Andrew W. Appel EasyChair Preprint no. 8636