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
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
- RYŠAVÝ Ondřej. Inheritance of specifications in the calculus of functional objects. Brno: Fakulta informačních technologií VUT v Brně, 2006. Detail
2005
- RYŠAVÝ Ondřej a ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Fakulta informačních technologií VUT v Brně, 2005. Detail
2004
- ŠVÉDA Miroslav. 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, s. 113-120. ISBN 0-7695-2125-8. Detail
- BUREŠ František a RYŠAVÝ Ondřej. A Graph Representation for Use Case Specifications. In: Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004, s. 5. ISBN 960-8052-95-5. Detail
- ŠVÉDA Miroslav a VRBA Radimí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, s. 6. ISBN 0-85760-919-X. Detail
Produkty
2005
- Vutbrmsr .NET knihovna tříd, software, 2005
Autoři: Ryšavý Ondřej Detail