Formal Verification of the CRC Algorithm Properties ⋆

Abstract

This paper presents the verification of CRC algorithm properties. We examine a way of verifying of a CRC algorithm using exhaustive state space exploration by model checking method. The CRC algorithm is used for calculation of a message hash value and we focus on verification of the property of finding minimal Hamming distance between two messages having… (More)

2 Figures and Tables

Topics

  • Presentations referencing similar topics