License
GMC code is licensed under LGPL, with an exception of the GIMPLE export plugin for GCC which is licensed under GPL. Compilation instructions are in the source pack in the file INSTALL.
Files
-
GMC sources:
gmc-0.5.tgz
(0.26MB) -
MSc. thesis - Jan Kouba:
Memory Representation for Model Checker of C/C++
(0.55MB) -
MSc. thesis - Ondrej Krc-Jediny:
GIMPLE Model Checker
(1.8MB)