Egzamin
Egzamin będzie pisemny, dotyczył będzie zagadnień teorerycznych. Założenie jest takie, że ma on sprawdzić tylko elementarne podstawy. W związku z tym egzamin będzie bardzo łatwy.
Co trzeba umiec?
- proste własności temporalne zapisane:
- w LTL
- w CTL
- za pomocą automatu
- podstawy OBDD
- podstawy JMLa