Detail projektu

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

Období řešení: 12. 3. 2004 - 30. 9. 2005

Typ projektu: grant

Kód: MS1412001

Agentura: Microsoft Research Cambridge

Program:

Název česky
Návrh a implementace formálních nástrojů v prostředí .NET
Typ
grant
Abstrakt

Projekt je zaměřen na vývoj knihovny .NET podporující struktury a algoritmy nástrojů pro formální specifikace a verifikace. Pokrývá techniky model checking a teorem proving s cílem umožnit jejich kombinace ve specializovaných nástrojích.

Řešitelé
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , hlavní řešitel
Bureš František, Ing. (UIFS FIT VUT) , spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Publikace

2006

2005

2004

Produkty

2005

Nahoru