Model Checking @CMU
[Home]

[People]

[Software]

[Publications]

[Support]

 [Links]

[Internal]

 

 

Other References to Formal Methods

  • Formal Verification of Computer Systems of Industrial Complexity in Brazil maintained by our former student Sérgio Campos.
  • Formal Methods Education Resources, Computer Science Department of Indiana University
  • FMCAD'98 BDD Performance Study based on SMV executation traces (courtesy Bwolen Yang).
  • Oxford University Formal Methods Library . A very complete page, with a comprehensive list of links to formal methods.

    • CMU-SCS Model Checking home page

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