Существует ли пакет Python, который может выполнять проверку модели темпоральной логики для конечных автоматов? [закрыто ⇐ Python
-
Гость
Существует ли пакет Python, который может выполнять проверку модели темпоральной логики для конечных автоматов? [закрыто
Я хочу иметь возможность моделировать систему как конечный автомат и проверять свойства модели на соответствие спецификациям темпоральной логики.
Я знаком с моделью StateFlow -проверка возможностей, но если возможно, я бы предпочел использовать Python, поскольку он с открытым исходным кодом. Я также знаю о TuLiP как о надежном варианте для проектирования и моделирования конечных автоматов, но, насколько я могу судить, он не выполняет проверку модели. Список пакетов FSM в вики Python, кажется, полон пакетов, ориентированных на аналогичную реализацию.
Знает ли кто-нибудь другой пакет Python, который способен проверять модели спецификации проекта темпоральной логики?
Источник: https://stackoverflow.com/questions/555 ... r-finite-s
Я хочу иметь возможность моделировать систему как конечный автомат и проверять свойства модели на соответствие спецификациям темпоральной логики.
Я знаком с моделью StateFlow -проверка возможностей, но если возможно, я бы предпочел использовать Python, поскольку он с открытым исходным кодом. Я также знаю о TuLiP как о надежном варианте для проектирования и моделирования конечных автоматов, но, насколько я могу судить, он не выполняет проверку модели. Список пакетов FSM в вики Python, кажется, полон пакетов, ориентированных на аналогичную реализацию.
Знает ли кто-нибудь другой пакет Python, который способен проверять модели спецификации проекта темпоральной логики?
Источник: https://stackoverflow.com/questions/555 ... r-finite-s
