Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Joshua M. Cohen
Publications
Verified Erasure Correction in Coq with MathComp and VST
Joshua M. Cohen
,
Qinshi Wang
and
Andrew W. Appel
EasyChair Preprint no. 8636
Keyphrases
Functional correctness verification
,
interactive theorem proving
,
Reed-Solomon coding
.
Copyright © 2012-2023 easychair.org. All rights reserved.
