Product Details
Forester: A Tool for Verification of Programs with Pointers
Created: 2010
Czech title
Forester: Nástroj pro verifikaci programů s ukazateli
Type
software
License
required - free
Authors
Habermehl Peter (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords
verification, pointers, tree automata, abstraction, refinement
Description
The tool allows verification of programs which manipulate complex dynamic data structures.
Location
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
Automata and Logic for Symbolic Verification of Software (MEB021023)
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Developement of techniques for automatic verification of programs with dynamic data structures (GP201/09/P531)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems (IC0901)
Secured, reliable and adaptive computer systems (FIT-S-10-1)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Developement of techniques for automatic verification of programs with dynamic data structures (GP201/09/P531)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems (IC0901)
Secured, reliable and adaptive computer systems (FIT-S-10-1)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)