Как я могу вернуть контрпример в простой в обработке структуре данных в NuSMV?

#model-checking #nusmv Вопрос: В моем сценарии NuSMV я пытаюсь уловить след контрпримера LTLSPEC, но единственный способ, которым мне удалось его получить, - это пройти через оболочку. Есть ли какая-либо возможность…