Programowanie współbieżne i rozproszone/PWR Wykład 11

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Poprawność programów współbieżnych

Własność bezpieczeństwa

Własność żywotności

Abstrakcyjny model procesu

Definicja

Przeplot

Computational Tree Logic (CTL)

Składnia

= Struktura Kripkego

Semantyka

Przykłady

Weryfikacja modelowa

Postawienie problemu

Rozstrzygalność CTL

Narzędzia wspomogające

Weryfikacja poprawności algorytmu Petersena

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Programowanie_współbieżne_i_rozproszone/PWR_Wykład_11&oldid=2306”