霍尔逻辑 霍爾邏輯英語Hoare Logic又稱弗洛伊德霍爾邏輯FloydHoare logic是英国计算机科学家東尼霍爾开发的形式系统这个系统的用途是为了使用严格的数理逻辑推理來替计算机程序的正确性提供一组逻辑规则 這個想法起源於罗伯特弗洛伊德於較早的研究他为流程图提供了类似的系统東尼霍爾於年首次發表随后为其他研究者所精制