ВПнМ, Краткий вариант

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

Версия от 13:56, 24 апреля 2008; ESyr01 (Обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Содержание

[править] Promela

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

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

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

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

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

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

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

[править] XSpin

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

[править] =

[править] Assert

[править] Notrace

[править] Never

[править] LTL

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

Личные инструменты
Разделы