Detail publikace

Design and development of a library for formal verification: an overview

RYŠAVÝ Ondřej a ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Fakulta informačních technologií VUT v Brně, 2005.
Název česky
Návrh knihovny pro formální verifikace: přehled
Typ
technická zpráva
Jazyk
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
URL
Abstrakt

Tato práce předkládá přehled implementovaných nástrojů pro model-checking. Jsou diskutovány teoretické základy těchto nástrojů. Cílem je ukázat, že existující nástroje sdílejí společné komponenty a tím ospravedlnit vývoj knihovny pro jejich implementaci.

Rok
2005
Strany
7
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@TECHREPORT{FITPUB7738,
   author = "Ond\v{r}ej Ry\v{s}av\'{y} and Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Design and development of a library for formal verification: an overview",
   pages = 7,
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7738"
}
Nahoru