Проверка SMA

Верификация моделей для МАС

Автоматическая техника верификации, исчерпывающе исследующая пространство состояний МАС для проверки временных свойств. Особенно подходит для систем с конечным числом состояний и детерминированным поведением.

← Назад