Результаты поиска по запросу "promela"
Используйте определение синтаксиса vim с sublime-text2
Кто-нибудь знает, можно ли использовать (или конвертировать) файлы определения синтаксиса vim с возвышенным текстом?Я ищу подсветку для promela и нашел тольк...
Как сравнить два LTL?
Как я могу сравнить два LTL, чтобы увидеть, если один может противоречить друг другу? Я спрашиваю об этом, потому что у меня есть иерархический конечный авто...
Как превратить LTL в автомат в Promela - SPIN?
Как я могу перевести LTL в автоматы в PROMELA? Я знаю, что с помощью команды SPIN -f "ltl x" можно превратить LTL в заявку, которая никогда не буде...
инструкция вы увидите, что не будет никаких ошибок.
http://spinroot.com/spin/Man/Manual.htmlнаписано что:В Promela есть также другой способ избежать теста и установить проблему: атомные последовательности. Пре...
Используйте определение синтаксиса vim с sublime-text2
Кто-нибудь знает, можно ли использовать (или конвертировать) файлы определения синтаксиса vim с возвышенным текстом? Я ищу подсветку для promela и нашел только одну для vim, но в качестве редактора по умолчанию я использую ...