Softwaretechnisch unterstützter formaler Nachweis der Korrektheit von Programmen oder Programmteilen. /VDI 3633 Entwurf/