V. F. Filaretov, D. A. Juhimec, E. Sh. Mursalimov

In this paper, an approach for development of program-verifier whereby it is carried out a check of mission for autonomous underwater vehicle (AUV) is proposed. The approach is consisted in substitution of standard libraries, in which described access to all resources of AUV, on libraries which carry out transmit of commands and parameters of these commands to external program-verifier. The program-verifier considerably facilitate localization of logical error in mission and show state of AUV and its on-board equipments when commands execution of mission.