Семантика преобразователя предикатов
Семантика трансформатора предиката Основы логики Хоара Логика Хоара — это формальная система, разработанная для описания программ с точки зрения их […]
Вики
Program logic
Вики
Логика Хоара
Логика Хоара Логика Хоара — формальная система для обоснования корректности компьютерных программ. Предложена Тони Хором в 1969 году и доработана