główna slajdy lab narzedzia literatura inne

Praktyczne metody weryfikacji

@Sławomir Lasota (wykład)         @Daria Walukiewicz-Chrząszcz (lab)

Wykład

piątki, godz. 12:15 - 13:45, s. 4420

Lab

wtorki, 10:15 - 11:45, s. 2043

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

CBMC

UPPAAL

(C) 2006-2009 SL
Page layout designed by 6ix Shooter Media extra modificated by Pos3idon