Gama
Boogie
A Contract-based Slicer for Boogie Programs
Home
Download
Publications
Gallery
The current version available for download is only available for Windows OS. To run it you should first install the
.NET Framework 4.0 version
.
GamaBoogie 1.0
Related Projects
GamaSlicer
GamaPolar