Аналитическая верификация программ при помощи методов ФлойдаФормальные методы в программной инженерии