Project Details

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

Project Period: 12. 3. 2004 - 30. 9. 2005

Project Type: grant

Code: MS1412001

Agency: Microsoft Research Cambridge

Program:

Czech title
Návrh a implementace formálních nástrojů v prostředí .NET
Type
grant
Keywords

Formal specification, verification, embedded verification assistant, .NET framework

Abstract

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.

Team members
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , research leader
Bureš František, Ing. (UIFS FIT VUT) , team leader
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT) , team leader
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT) , team leader
Publications

2006

  • RYŠAVÝ Ondřej. Inheritance of specifications in the calculus of functional objects. Brno: Faculty of Information Technology BUT, 2006. Detail

2005

  • RYŠAVÝ Ondřej and ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Faculty of Information Technology BUT, 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, pp. 113-120. ISBN 0-7695-2125-8. Detail
  • BUREŠ František and 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, p. 5. ISBN 960-8052-95-5. Detail
  • ŠVÉDA Miroslav and 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, p. 6. ISBN 0-85760-919-X. Detail
Products

2005

  • Vutbrmsr .NET class library, software, 2005
    Authors: Ryšavý Ondřej Detail
Back to top