główna slajdy lab1 lab2 egzamin narzedzia literatura inne

Weryfikacja wspomagana komputerowo

wykład: @Sławomir Lasota         lab: @Daria Walukiewicz-Chrząszcz   @Grzegorz Maj

Wykład

pon., 10:15 - 11:45, s. 4060

Lab

pon., 12:15 - 13:45, s. 2043
piątki, 8:30 - 10:00, s. 2042

USOS

opis wykładu w USOSie

Narzędzia


SPIN

  • ćwiczenia
  • dSPIN
  • MODEX/FeaVer
  • nowy interfejs graficzn jSPIN
  • swarm
  • LTL2BA

SMV

  • CMU SMV
  • Cadence SMV
    • dokumentacja
  • NuSMV

ESC/Java2

  • strona domowa JML

CBMC

UPPAAL

(C) 2009-2010 SL
układ strony zaprojektowany przez 5ix Shooter Media