普华基础软件战略研究院副院长肖堃谈形式化验证

普华基础软件战略研究院副院长肖堃表示，在安全关键系统如智能汽车、飞机、eVTOL等领域，软件正确性至关重要。形式化验证能够发现深层次错误，如复杂逻辑错误、不符合规范的状态转换等，这是传统测试难以做到的。