Result Details
Design and development of a library for formal verification: an overview
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.
formal verification, model-checking, software library
@misc{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",
pages="7",
publisher="Faculty of Information Technology BUT",
address="Brno",
url="http:\\www.fit.vutbr.cz\~rysavy\publikace\2004\librarydesign.pdf"
}