verification of computer codes