![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
Formal Verification of the CRC Algorithm Properties
Název česky | Formální verifikace vlastností CRC algoritmů |
---|---|
Autoři | |
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 | |
Citace | |
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: |