Verification of an error correcting code by abstract interpretation

DOI10.1007/978-3-540-30579-8_22MaRDI QIDQ5711499zbMATH OpenOpenAlexFDO

Authors Charles Hymans

Publication date 6 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b105073

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cyclic codes (94B15) Synchronization error-correcting codes (94B50)

Recommendations

• Correct Hardware Design and Verification Methods
• Checking safety properties of behavioral VHDL descriptions by abstract interpretation
• scientific article; zbMATH DE number 2219129
• scientific article; zbMATH DE number 1742183
• Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry

Cited in

(2)

• Verifying the implementation of an error control code
• Verified Erasure Correction in Coq with MathComp and VST

Describes a project that uses

Uses Software

• OCaml
• BuDDy

This page was built for publication: Verification of an error correcting code by abstract interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5711499)