формальный метод
Model Checking
Проверяет свойства модели на пространстве состояний; выводы относятся к модели и её ограничениям.
На карте
- Проверки
- Анализ кода и моделей
Связанные практики
Сравнение и родство
Model Checking
От требований до эксплуатации
формальный метод
Проверяет свойства модели на пространстве состояний; выводы относятся к модели и её ограничениям.