HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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 8636

Keyphrases

Functional correctness verification, interactive theorem proving, Reed-Solomon coding.

Copyright © 2012-2025 easychair.org. All rights reserved.