Programowanie współbieżne i rozproszone/PWR Wykład 11: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
następna edycja →
Mengel (dyskusja | edycje)
1013 edycji
Nie podano opisu zmian
 
Mengel (dyskusja | edycje)
1013 edycji
(Brak różnic)

Wersja z 12:18, 20 cze 2006

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”