статического анализа программ.

Логика Хоара Логика Хоара — формальная система для обоснования корректности компьютерных программ.  Предложена Тони Хором в 1969 году и доработана […]