main slides lab exam tools literature misc

Computer aided verification

lecture: @Sławomir Lasota         lab: @Bartek Klin

Lecture

Mon., 12:15 - 13:45, room 5050

Lab

Mon., 14:15 - 15:45, room 3044

USOS

USOS page of the lecture

Tools


SPIN

  • excercises
  • dSPIN
  • MODEX/FeaVer
  • jSPIN GUI
  • swarm
  • LTL2BA

SMV

  • CMU SMV
  • Cadence SMV
  • NuSMV

ESC/Java2

  • JML home page

CBMC

UPPAAL

(C) 2009-2010 SL
page layout designed by 5ix Shooter Media