Вы здесь

floyd-hoare proof technique