Prowadzony w
cyklu:
2023/24-Z
Kod Erasmus: 11.3
Kod ISCED: 0612
Punkty ECTS:
5
Język:
polski
Organizowany przez:
Instytut Informatyki
Modelowanie i analiza systemów informatycznych 2 3.4.KRK.12TX.MSInf2
Systemy Tranzycji, Sieci Petriego jako modele.
Modelowanie prostych systemów współbieżnych.
Model Checking. Logika LTL i CTL.
Narzędzie do modelowania i weryfikacji TINA, NuSMV, UPPAAL.
Rodzaj przedmiotu
obowiązkowe
Koordynatorzy przedmiotu
Literatura
Marcin Szpyrka, Sieci Petriego w modelowaniu i analizie systemów współbieżnych;
Christel Baier, Joost-Pieter Katoen, Principles of Model Checking;
Dokumentacje narzędzi TINA, NuSMV, UPPAAL.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: