Detail projektu

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

Období řešení: 12.03.2004 — 30.09.2005

O projektu

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

Označení

MS1412001

Originální jazyk

angličtina

Řešitelé

Švéda Miroslav, prof. Ing., CSc. - hlavní řešitel
Bureš František, Ing. - spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. - spoluřešitel
Ščuglík František, Ing., Ph.D. - spoluřešitel

Útvary

Ústav informačních systémů
- spolupříjemce (12.03.2004 - 30.09.2005)

Výsledky

BUREŠ, F., RYŠAVÝ, O. A Graph Representation for Use Case Specifications. In Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004. p. 686 ( p.)ISBN: 960-8052-95-5.
Detail

Š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

RYŠAVÝ, O., ŠČUGLÍK, F. Vutbrmsr .NET class library. brno: 2005.
Detail

RYŠAVÝ, O. Inheritance of specifications in the calculus of functional objects. Brno: Faculty of Information Technology BUT, 2006.
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

Odkaz

http://vutbrmsr.sourceforge.net/

Odpovědnost: Švéda Miroslav, prof. Ing., CSc.