7
Как мы можем знать, что формальные методы работают?
Важной целью формальных методов является доказательство правильности систем, либо автоматизированными, либо управляемыми человеком средствами. Тем не менее, кажется, что даже если вы можете предоставить подтверждение правильности, вы НЕ МОЖЕТЕ гарантировать, что система не выйдет из строя. Например: Спецификация может некорректно моделировать систему, или производственная система может быть слишком сложной для …