Specifications Don't Exist

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

https://www.galois.com/articles/specifications-dont-exist