Publication detail

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

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

Original Title

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

Type

report

Language

English

Original Abstract

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.

Keywords

formal verification, model-checking, software library

Authors

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

Released

22. 3. 2005

Publisher

Faculty of Information Technology BUT

Location

Brno

Pages count

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