Verifying the implementation of an error control code

DOI10.1023/A:1022925623072MaRDI QIDQ1870229zbMATH OpenOpenAlexFDO

Authors T. Pascalin Amagbegnon, Uri E. Barkai

Publication date 11 May 2003

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022925623072

zbMATH Keywords

formal verificationsymbolic simulationerror control code

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• A formal verification method of error correction code processors over Galois-field arithmetic
• Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory
• Symbolic trajectory evaluation for word-level verification: theory and implementation
• scientific article; zbMATH DE number 2102697

This page was built for publication: Verifying the implementation of an error control code

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