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
Název česky
Návrh a implementace formálních nástrojů v prostředí .NET
Typ
grant
Klíčová slova
Formal specification, verification, embedded verification assistant, .NET
framework
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.
(UTKO)
– hlavní řešitel
Bureš František, Ing.
Bureš František, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Bureš František, Ing.
Bureš František, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Ščuglík František, Ing., Ph.D. (CK-SZZ)