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.

Popis česky
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.

Klíčová slova
Formal specification, verification, embedded verification assistant, .NET framework