GMC | ![]() ![]() |
The Monte Carlo Software Model Checker | |
Download |
Our experimental GMC source code can be downloaded here. System Requirement Our GMC tool requires Linux system with GCC version greater than or equal to 3.0.0. Nearly all modern Linux districutions satisfy this requirement Installation
Running Test Cases Simply run: <gmc-directory>/tool/bin/gcc -O2 <your-c-program> |
Maintained by Xiaowan Huang |