Publication Details

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

RYŠAVÝ Ondřej and ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Faculty of Information Technology BUT, 2005.
Czech title
Návrh knihovny pro formální verifikace: přehled
Type
technical report
Language
english
Authors
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Ščuglík František, Ing., Ph.D. (DIFS FIT BUT)
URL
Keywords

formal verification, model-checking, software library

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.

Published
2005
Pages
7
Publisher
Faculty of Information Technology BUT
Place
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"
}
Back to top