Title: Sintez, testirovanie, verifikat͡sii͡a i otladka programm