基于CEGAR的PLC控制工厂安全验证的两种方法
Two CEGAR-based approaches for the safety verification of PLC-controlled plants
Information Systems Frontiers · 2016
被引 17
ABS 3
- Johanna Nellen 通讯
- Kai Driessen
- Martin R. Neuhäußer
- Erika Ábrahám
- Benedikt Wolters
形式化验证可编程逻辑控制器混合系统模型检测抽象与反例引导