Model Checking Links

Under construction...

Books

• E M Clarke, Jr, O Grumberg, and D A Peled, Model Checking, MIT Press, 2000
  (MIT Press Catalog Page)
• M R A Huth and M D Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, CUP, 2000
  (CUP Catalog Page for paperback edn)

Software

• SPIN
• CMU SMV
• Cadence SMV
• UPPAAL
• HyTech

People

• Rajeev Alur
• Henrik Reif Andersen
• Edmund M Clarke
• Rance Cleaveland
• Costas Courcoubetis
• David L Dill
• E Allen Emerson
• Orna Grumberg
• Thomas A Henzinger
• Gerard Holzmann
• Orna Kupferman
• Marta Kwiatkowska
• Kim Guldstrand Larsen
• Nancy A Lynch
• Kenneth L McMillan
• Doron Peled
• Paul Pettersson
• Amir Pnueli
• Bernd-Holger Schlingloff
• Joseph Sifakis
• A Prasad Sistla
• Frits Vaandrager
• Moshe Vardi
• Pierre Wolper
• Wang Yi
• Sergio Yovine

Groups

• CMU Model Checking Group
• Stanford Hardware Verification Group
• DARTS (Design and Analysis of Real-Time Systems) Group, Uppsala

Back to Formal Methods Informal Seminar main page