理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- explosion power
- explosion power index
- explosion-proof
- explosion-proof and pressure relief devices
- explosion-proof blanket
- explosion-proof design
- explosion proof device
- explosion-proof electric apparatus
- explosion-proof instrument
- explosion-proof motor
- explosion-proof static eliminator for human body
- explosion-proof tools
- explosion-proof wall
- explosion-resistant
- explosion-safe
- explosion safety assessment
- explosion safety/protection
- explosions in air
- explosion suppression
- explosion time
- explosion turbine
- explosion venting
- explosion wave
- explosive
- explosive cavity effects