Model Checking Support

• National Science Foundation (NSF)

• Gigascale Systems Research Center (GSRC)

• Office of Naval Research ( ONR Official Site)

• Army Research Office (ARO)

• Semiconductor Research Corporation (SRC)

• General Motors (GM)
  

CMU-SCS Model Checking home page

Please send any comments and suggestions to Nishant Sinha - (nishants) at cs dot cmu dot edu.