Project Details

Formální verifikace programů pracujících s dynamickými datovými strukturami

Project Period: 1. 1. 2006 - 31. 12. 2006

Project Type: grant

Code: FR3101/2006/G1

Agency: Fond rozvoje vysokých škol MŠMT

Program:

English title

Formal verification of programs working with dynamic data strucktures

Type

grant

Keywords

formal verification, dynamic data structures

Abstract

The aim of this project consists in creating documents which clarify theoretical frame of the area of verification of programs handling with dynamic data structures, introduce chosen verification tools, include tutorials explaining work with these tools and demonstrate their functionality on proper examples. Two excersises of the Formal analysis and verification course will be based on these documents which will also be available on the website, so that they can be used even with students, which concentrate on data structures, or bachelor students which interest in formal verification.

Team members

Erlebach Pavel, Ing. (UITS FIT VUT) , research leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader