A rigorous audit of all compilable code to ensure that the representations of verified logic have been properly implemented in the computer code. [DA PAM 5-11; DSMC]
Luhlolo olungqongqo lwazo zonke ikhowudi ezenzekayo ukuqinisekisa ukuba ukuboniswa kobuchule obuqinisekisiweyo buzalisekiswe kakuhle kwikhowudi yekhompyutha. [DA PAM 5-11; DSMC]