Detail publikace

CRC64 Algorithm Analysis and Verification

HLÁVKA, P.; KRATOCHVÍLA, T.; ŘEHÁK, V.; ŠAFRÁNEK, D.; ŠIMEČEK, P.; VOJNAR, T. CRC64 Algorithm Analysis and Verification. Brno: CESNET National Research and Education Network, 2005. p. 0-0.
Název česky
Analýza a verifikace CRC64 algoritmu
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Hlávka Petr, Ing.
Kratochvíla Tomáš, Mgr.
Řehák Vojtěch, doc. RNDr.
Šafránek David, doc. Mgr., Ph.D.
Šimeček Pavel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
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 metodformální analýzy a verifikace. Navržený přístup je z částiautomatizován, z části je manuální.

Rok
2005
Strany
7
Vydavatel
CESNET National Research and Education Network
Místo
Brno
BibTeX 
@techreport{BUT57653,
  author="Petr {Hlávka} and Tomáš {Kratochvíla} and Vojtěch {Řehák} and David {Šafránek} and Pavel {Šimeček} and Tomáš {Vojnar}",
  title="CRC64 Algorithm Analysis and Verification",
  year="2005",
  publisher="CESNET National Research and Education Network",
  address="Brno",
  pages="7",
  url="http://www.cesnet.cz/doc/techzpravy/2005/crc64/"
}
Nahoru