- Na wykładzie CTL.pdf podano składnię i semantykę logiki temporalnej CTL.
- Plik zadania-ctl.pdf zawiera przykłady
systemów tranzycji (struktur Kripkego) oraz formuł logiki temporalnej czasu rozgałęzionego (CTL).
Rozwiąż zadania zamieszczone w pliku.
Dalsze zadania.
