Detail publikace

<< zpět
 

Model checking in IPv6 Hardware Router Design

Základní údaje
Originální název:Model checking in IPv6 Hardware Router Design
Autoři:Jiří Barnat, Tomáš Brázdil, Pavel Krčál, Vojtěch Řehák, David Šafránek
Další údaje
Citace:BARNAT, Jiří, Tomáš BRÁZDIL, Pavel KRČÁL, Vojtěch ŘEHÁK a David ŠAFRÁNEK. Model checking in IPv6 Hardware Router Design. Praha: CESNET, z. s. p. o., 2002. CESNET technical report number 8/2002.Export BibTeX
@misc{405984,
author = {Barnat, Jiří and Brázdil, Tomáš and Krčál, Pavel and Řehák, Vojtěch and Šafránek, David},
address = {Praha},
keywords = {model checking; hardware design},
language = {eng},
location = {Praha},
publisher = {CESNET, z. s. p. o.},
title = {Model checking in IPv6 Hardware Router Design},
url = {http://www.cesnet.cz/doc/techzpravy/},
year = {2002}
}
Originální jazyk:angličtina
Obor:Počítačový hardware a software
WWW:odkaz do nového oknahttp://www.cesnet.cz/doc/techzpravy/
Druh:Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Klíčová slova:model checking; hardware design

This report contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking tools is given.

Související projekty:

 
 
nahoru