The training course "Software Verification" was developed by the teachers of the Cybernetics Department of MEPhI in close cooperation with the aviation industry enterprise DS BARS (Onboard Algorithms and Systems Development) and the Moscow office of Microsoft Corporation.