Formal Verification of the CRC Algorithm Properties

• Název česky: Formální verifikace vlastností CRC algoritmů
• Autoři: SMRČKA Aleš; HLÁVKA Petr; ŠAFRÁNEK David; ŘEHÁK Vojtěch; ŠIMEČEK Pavel; VOJNAR Tomáš
• Rok publikování: 2006
• Druh: Článek ve sborníku
• Konference: Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: formal verification; CRC algorithms; generating polynomial
• Popis: Článek se zabývá experimentální metodou ověření vlastností algoritmů CRC používaných v projektu Liberouter při vývoji síťového hardware. Zejména je navržena a v případové studii demonstrována metoda hledání minimální Hammingovy vzdálenosti dvou zpráv naléžejícím témuž hashovacímu klíči (kolizní dvojice). Při navrhovaném přístupu je použito metody ověřování modelů.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy