Термины и определения в области гражданской обороны, чрезвычайных ситуаций, пожарной и промышленной безопасности
Формальная верификация
 | |
Метод, используемый для доказательства соответствия системы спецификации её требуемого поведения, представленной с помощью формального средства описания. | |
| |