Model Checking @CMU

[Home]

[People]

[Software]

[Publications]

[Support]

[Links]

[Internal]


 Model Checking Project Members

Current members

Edmund M. Clarke - emc at cs.cmu.edu
Bruce Krogh

Graduate Students

Post-Docs

Visitors/Associates

Some people who worked with us

  CMU-SCS Model Checking home page

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