Материал из eSyr's wiki.

Содержание 1 Promela 1.1 Синтаксис 1.2 Основные конструкции 1.3 Типы 1.4 Передача сообщений 2 Использование SPIN 2.1 Сборка и установка 2.2 Основные команды верификации и симуляции 2.3 XSpin 3 Проверка свойств 4 = 4.1 Assert 4.2 Notrace 4.3 Never 4.3.1 LTL 4.4 Теория, полная матана

[править] Promela

[править] Синтаксис

[править] Основные конструкции

[править] Типы

[править] Передача сообщений

[править] Использование SPIN

[править] Сборка и установка

[править] Основные команды верификации и симуляции

[править] XSpin

[править] Проверка свойств

[править] =

[править] Assert

[править] Notrace

[править] Never

[править] LTL

[править] Теория, полная матана