The Monte Carlo Software Model Checker
| | | | |

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


  1. The instruction to install GMC is following:
  2. Untar downloaded gmc source code.
  3. Create a 'build' and a 'tool' directory in the 'gmc' directory which is generated by previous step.
  4. cd build; ../gcc/configure --prefix=<gmc-directory>/tool --enable-languages=c
  5. make; make install

Running Test Cases

Simply run: <gmc-directory>/tool/bin/gcc -O2 <your-c-program>

Maintained by Xiaowan Huang