Forester: A Tool for Verification of Programs with Pointers
verification, pointers, tree automata, abstraction, refinement
The tool allows verification of programs which manipulate complex dynamic data structures.
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
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)