Prof. Ing. Tomáš Vojnar, Ph.D.

Formal verification of programs working with dynamic data strucktures

Czech title:Formální verifikace programů pracujících s dynamickými datovými strukturami
Reseach leader:Erlebach Pavel
Team leaders:Vojnar Tomáš
Agency:Fond rozvoje vysokých škol MŠMT
Keywords:formal verification, dynamic data structures
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.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]