Detail publikace
CRC64 Algorithm Analysis and Verification
HLÁVKA Petr, KRATOCHVÍLA Tomáš, ŘEHÁK Vojtěch, ŠAFRÁNEK David, ŠIMEČEK Pavel a VOJNAR Tomáš. CRC64 Algorithm Analysis and Verification. Brno: CESNET, zájmové sdružení právnických osob, 2005.
Název česky
Analýza a verifikace CRC64 algoritmu
Typ
technická zpráva
Jazyk
angličtina
Autoři
Hlávka Petr, Ing. (FP VUT)
Kratochvíla Tomáš (FI MUNI)
Řehák Vojtěch, doc. RNDr. (FI MUNI)
Šafránek David, doc. Mgr., Ph.D. (FI MUNI)
Šimeček Pavel (FI MUNI)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Kratochvíla Tomáš (FI MUNI)
Řehák Vojtěch, doc. RNDr. (FI MUNI)
Šafránek David, doc. Mgr., Ph.D. (FI MUNI)
Šimeček Pavel (FI MUNI)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova
formální verifikace, model checking, CRC64
Abstrakt
Práce se zabývá analýzou vlastností CRC64 algortimu s využitím metod formální analýzy a verifikace. Navržený přístup je z části automatizován, z části je manuální.
Rok
2005
Strany
7
Vydavatel
CESNET, zájmové sdružení právnických osob
Místo
Brno, CZ
BibTeX
@TECHREPORT{FITPUB7996, author = "Petr Hl\'{a}vka and Tom\'{a}\v{s} Kratochv\'{i}la and Vojt\v{e}ch \v{R}eh\'{a}k and David \v{S}afr\'{a}nek and Pavel \v{S}ime\v{c}ek and Tom\'{a}\v{s} Vojnar", title = "CRC64 Algorithm Analysis and Verification", pages = 7, year = 2005, location = "Brno, CZ", publisher = "CESNET National Research and Education Network", language = "english", url = "https://www.fit.vut.cz/research/publication/7996" }