Никто не просил, а я все же сделал https://telegra.ph/Formalnaya-verifikaciya-opisanie-programmy-chast-2-03-04