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.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Publikace

2004

  • ŠVÉDA, M. A Design Framework for Internet-Based Embedded Distributed Systems. In Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, California: IEEE Computer Society, 2004. p. 113-120. ISBN: 0-7695-2125-8. Detail
  • ŠVÉDA, M., VRBA, R. Reuse of Formal Specifications in Computer-Based Systems Design. In Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004. p. 478 ( p.)ISBN: 0-85760-919-X. Detail
Nahoru