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

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

(Различия между версиями)
Перейти к: навигация, поиск

ESyr01 (Обсуждение | вклад)
(Новая: == Promela == === Синтаксис === === Основные конструкции === === Типы === === Передача сообщений === == Использование ...)
К следующему изменению →

Текущая версия

Содержание

[править] Promela

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

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

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

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

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

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

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

[править] XSpin

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

[править] =

[править] Assert

[править] Notrace

[править] Never

[править] LTL

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

Получено с http://esyr.us/wiki/%D0%92%D0%9F%D0%BD%D0%9C%2C_%D0%9A%D1%80%D0%B0%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D0%B0%D1%80%D0%B8%D0%B0%D0%BD%D1%82
Разделы