K dosažení tohoto ideálního stavu vede budto čistě formální cesta:
specifikace zmíněných podmínek matematickými prostředky a
formální dokazování korektnosti
Dále zmiňované nástroje však toto nedokážou; omezují se na běhovou kontrolu platnosti předpsaných podmínek
