- Tytuł:
- UML Verification with Verics
- Autorzy:
-
Niewiadomski, A.
Penczek, W. - Powiązania:
- https://bibliotekanauki.pl/articles/92916.pdf
- Data publikacji:
- 2007
- Wydawca:
- Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
- Tematy:
-
model checking
UML
unified modeling language
VerICS - Opis:
- We show how to verify UML specifications against properties expressed by CTL-like formulas using the symbolic model checker Verics. Our method is illustrated with an example showing a verification of Alternating Bit Protocol.
- Źródło:
-
Studia Informatica : systems and information technology; 2007, 1(8); 19-31
1731-2264 - Pojawia się w:
- Studia Informatica : systems and information technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł