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駻gio 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.

    AltStyle によって変換されたページ (->オリジナル) /