|The Monte Carlo Software Model Checker|
Our experimental GMC source code can be downloaded here.
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
Running Test Cases
Simply run: <gmc-directory>/tool/bin/gcc -O2 <your-c-program>
|Maintained by Xiaowan Huang|