1зной
1ответ
Как сделать неинициализированную переменную в Spin?
1зной
1ответ
свойство LTL и программа Promela
1зной
1ответ
Спин, проверяющий свойства, связанные с каналами
0зной
1ответ
Использование точки с запятой в Promela
2зной
1ответ
Невозможно выбрать недетерминированное значение элемента массива в Promela?
1зной
2ответ
Поддерживает ли SPIN CTL для выражения ограничений сейчас?
1зной
1ответ
Запрашивать множественные (или все) нарушения в Spin