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