Detail publikace

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

RYŠAVÝ, O.; ŠČUGLÍK, F. Design and development of a library for formal verification: an overview. Brno: Faculty of Information Technology BUT, 2005. p. 0-0.
Název česky
Návrh knihovny pro formální verifikace: přehled
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
URL
Klíčová slova

formal verification, model-checking, software library

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
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@techreport{BUT192568,
  author="Ondřej {Ryšavý} and František {Ščuglík}",
  title="Design and development of a library for formal verification: an overview",
  year="2005",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  pages="7",
  url="http:\\www.fit.vutbr.cz\~rysavy\publikace\2004\librarydesign.pdf"
}
Nahoru