形式化方法

使用数学符号和逻辑规则对软件或系统进行精确描述与验证的技术，以确保其正确性和一致性