C++ wird ja von einem Komittee designt, das auch gern mal etwas over-engineert. Vielleicht kennt ihr Spec# oder Sing#. Zentraler Teil ist dort, dass eine Methode Pre- und Postconditions haben kann, damit automatisierte Verifikationstools (optimal im Compiler selbst) das Programm besser auf Korrektheit prüfen kann.
Hier ist das in C++: Contracts