Project Details

Design and implementation of embedded formal verification assistants in the .NET framework

Project Period: 12. 3. 2004 – 30. 9. 2005

Project Type: grant

Code: MS1412001

Czech title

Návrh a implementace formálních nástrojů v prostředí .NET

Type

grant

Keywords

Formal specification, verification, embedded verification assistant, .NET
framework

Abstract

The project focuses on development of a .NET library that will enable to utilize
structures and algorithms appearing in the tools supporting formal specification
and verification. It aims at both model checking and theorem proving to enable
their combination in specialized tools based on the designed library. This
approach supports the idea for considering .NET infrastructure as a common
application framework equipped with a rich collection of wide spectrum classes.

Team members

Švéda Miroslav, prof. Ing., CSc. (UTKO) – research leader
Bureš František, Ing.
Bureš František, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Ščuglík František, Ing., Ph.D. (CM-SFE)
Ščuglík František, Ing., Ph.D. (CM-SFE)