Specyfikacja systemów komponentowych

Prelegent(ci)

Artur Zawłocki

Afiliacja

Uniwersytet Warszawski

Termin

26 marca 2012 10:15

Pokój

p. 4790

Tytuł w języku angielskim

badania własne

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Przedstawię podejście do specyfikacji systemów złożonych ze
współbieżnych, komunikujących się synchronicznie komponentów, które umożliwia kompozycjonalną specyfikację i weryfikację (o własnościach systemu można wnioskować na podstawie własności komponentów) oraz wspiera refinement specyfikacji (przechodzenie od specyfikacji abstrakcyjnej do szczegółowej).

---