机译：第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译：第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译：独立太阳能光伏系统的自动形式验证
机译：使用旋转的自动柜员机系统的正式验证
机译：机器参与正式推理：提高自动化形式协助和验证系统的可用性。
机译：自动柜员机服务对埃塞俄比亚商业银行客户满意度的影响
机译：使用具有数据路径的有限状态机（FsmD，自动）对调度过程进行形式验证
机译：用自动推理系统对数字系统属性的形式验证
