Automation of Formal Veriﬁcation of Programs in the Pifagor Language - M. S. Ushakova (Yaroslavl State University, 2015)