Model Checking @CMU










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.