一组PLC程序的逻辑错误分析

作者简介

陈钢 男 现就职于镇江灵芯软件试验室，从事plc测试软件的开发和商业化工作。

参考文献

[1]陈钢，宋晓宇，顾明等.coq定理证明器辅助plc程序验证和分析[j].北京大学学报，2010（1）.

[2]求是科技.plc应用开发技术与工程实践[m].北京：邮电出版社，2005.

[3]贾德胜.plc应用开发实用子程序[m].北京：邮电出版社，2006（1）.