|
Design and implementation of embedded formal verification assistants in the .NET framework |
|
|
Last modifed: Friday, April 01, 2005 |
|
Technical reports |
|
|
2005 |
|
|
Title: |
Design and development of a library for formal verification: an overview |
|
Author(s): |
|
|
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. |
|
Url: |
http:\\www.fit.vutbr.cz\~rysavy\publikace\2004\librarydesign.pdf [PDF] |
|
|
|
|
Title: |
Designing a library for verification tools in the .net framework |
|
Author(s): |
|
|
Abstract: |
The report exposes preliminary results of the project focusing at the design and development of a library for the implementation of formal verification tools in .NET framework. The purpose of the project is not to create a new verification tool but rather to extract fundamental concepts from either existing tools or theoretical results in order to design a general purpose library. The users of such library may gain from the many benefits of the target framework, e.g. rich class libraries, portability, supports of several programming languages, for implementation of highly specialized tools with less development costs. |
|
Url: |
http:\\www.fit.vutbr.cz\~rysavy\publikace\2005\rysavy05design.pdf [PDF] |