Полуформальная верификация
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
ПОЛУФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ
(semi-formal verification)
Метод верификации, использующий полуформальное средство описания.
Пример - Использование тестовых векторов, полученных из полуформального описания модели, чтобы проверить, что поведение системы соответствует модели.
