理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- fast-scan cyclic voltammetry
- fast shock wave
- fast-slewing telescope
- fast-slow coincidence
- fast-slow coincidence assembly
- fast solution
- fast-spinning black hole
- fast state
- fast steering mirror
- fast subsystem
- fast supernova
- fast surface state
- fast switching thyristor
- fast telescope
- fast time
- fast turn-off mode
- fast twitch fibre
- fast valve control
- fast valving protection during transient load cut-back
- fast variable
- fast Walsh transform
- fast wave
- fast wavelet transform
- Fas相关死亡结构域蛋白
- FAT