A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
Open-Source Model Checking
2006
Electronical Notes in Theoretical Computer Science
We present GMC 2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC 2 , which is part of the GMC static-analysis and model-checking tool suite for GCC under development at SUNY Stony Brook, can be seen as an extension of Monte Carlo model checking to the setting of concurrent, procedural programming languages. Monte Carlo model checking is a newly developed technique that utilizes the theory of geometric random variables, statistical
doi:10.1016/j.entcs.2006.01.003
fatcat:n2w2udqps5f3fmtaoqohdh3zvi