A TDK dolgozatom és a diplomamunkám is a programhelyességhez kötődött, ha úgyvesszük, a bevprogra alapozódott. De ugyanez a tudás kell akkor, hogyha ipari környezetben kell egy program egyes moduljainak (általában nem a teljes terméknek) a helyességét belátni.