Detail publikace

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

RYŠAVÝ, O. ŠČUGLÍK, F.

Originální název

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

Typ

zpráva odborná

Jazyk

angličtina

Originální abstrakt

In this report the overview of computerized tools for performing model checking is presented. It is supplied with the summarization of the formalisms comprising foundation for these tools. It's purpose is to shape the ideas that would guide the design and development of the software library consists of artifacts for representing models, formulas and model checking algorithms. It was pointed out that the current tools relies all on the similar foundations and thus the creation of the library may provide unifies underlaying layer for tool implementation, open the possibility for mutual interconnection and cooperation of the different approaches.

Klíčová slova

formal verification, model-checking, software library

Autoři

RYŠAVÝ, O.; ŠČUGLÍK, F.

Vydáno

22. 3. 2005

Nakladatel

Faculty of Information Technology BUT

Místo

Brno

Strany počet

7

URL

http:\\www.fit.vutbr.cz\~rysavy\publikace\2004\librarydesign.pdf

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