形式化方法

使用严格数学/逻辑学方法对软硬件系统进行规约、分析、验证的研究。

见：

• 交互式定理证明
• 模型检测