• poniedziałki, 14-16, pok. 3044

Przydatne linki:

• Strona wykładu
• Strona projektu Spin
• Znane błędy w interfejsie graficznym iSpin
• Dokumentacja języka Promela
• Wstęp i podręcznik użytkownika do NuSMV
• Podręcznik użytkownika do poprzedniej wersji ESC/Java
• Dokumentacja techniczna aktualnej wersji ESC/Java2

Przydatne pliki:

• Lab.1 - Spin i Promela - podstawy
• Lab.2 - iSpin. Weryfikacja formuł LTL
• Lab.3 - Weryfikacja cd.
• Lab.4 - Techniki ograniczające zużycie pamięci
• Lab.5 - Ćwiczenia z modelowania w Promeli
• Zadanie zaliczeniowe nr 1: Spin (English version)
• Lab.6 - NuSMV: podstawy
• Lab.7 - NuSMV: modelowanie i weryfikacja
• Lab.8 - Bounded model checking
• Lab.9 - Variable ordering
• Zadanie zaliczeniowe nr 2: SMV (English version)
• Lab.10 - CMBC
• Lab.11 - ESC/Java: podstawy
• Zadanie zaliczeniowe nr 3: ESC/Java2 (English version)
• Lab.13 - ESC/Java cd.