Описание тега hoare-logic

Что это такое?

Логика Хоара - это формальная система для демонстрации правильности программ.

Он использует тройные символы, которые выражают связь между предварительным условием, командой и пост-условием, и использует набор аксиом и правил вывода, чтобы делать выводы о программе.

Смотрите также

• Логика Хоара в Википедии