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)
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"
}
Nahoru