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

Z Studia Informatyczne
< Programowanie współbieżne i rozproszone
Wersja z dnia 10:14, 14 cze 2006 autorstwa Mengel (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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=2071”