Title: Prikladnye metody verifikat͡sii programm