Результаты поиска по запросу "promela"

1 ответ

Как сравнить два LTL?

Как я могу сравнить два LTL, чтобы увидеть, если один может противоречить друг другу? Я спрашиваю об этом, потому что у меня есть иерархический конечный авто...

1 ответ

Используйте определение синтаксиса vim с sublime-text2

Кто-нибудь знает, можно ли использовать (или конвертировать) файлы определения синтаксиса vim с возвышенным текстом?Я ищу подсветку для promela и нашел тольк...

1 ответ

 инструкция вы увидите, что не будет никаких ошибок.

http://spinroot.com/spin/Man/Manual.htmlнаписано что:В Promela есть также другой способ избежать теста и установить проблему: атомные последовательности. Пре...

ТОП публикаций

1 ответ

Как превратить LTL в автомат в Promela - SPIN?

Как я могу перевести LTL в автоматы в PROMELA? Я знаю, что с помощью команды SPIN -f "ltl x" можно превратить LTL в заявку, которая никогда не буде...

1 ответ

Используйте определение синтаксиса vim с sublime-text2

Кто-нибудь знает, можно ли использовать (или конвертировать) файлы определения синтаксиса vim с возвышенным текстом? Я ищу подсветку для promela и нашел только одну для vim, но в качестве редактора по умолчанию я использую ...