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

error control codeformal verificationsymbolic simulation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Verification of an error correcting code by 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
• Validation of pipelined processor designs using Esterel tools: a case study (extended abstract)

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)