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