舒适

舒适性推理框架构件形式推理技术(Component Formal Reasoning Technology,简称ComFoRT)是一种用于预测系统是否满足其安全性、可靠性和安全性要求的推理框架。舒适地说,这些需求被编码为自动验证的行为断言。