В последние десятилетия компьютеры стали занимать больше места в каждой сфере нашей жизни. В связи с этим
возникла необходимость тщательной проверки компьютерных программ на правильность, ведь всѐ чаще и чаще
компьютерам доверяют человеческие жизни. Это привело к возникновению различных методов, используемых для
доказательства корректности компьютерных программ, одним из которых является логика Хоара.
