Verifying programmable logic controllers with abstraction
Rui Wang, Ming Gu, Xiaoyu Song, Hehua zhang · 2008
Functional and nonfunctional validation is an important task in complex embedded system developments. This paper proposes a method of applying model checking techniques to validate programable logic controllers (PLCs). Abstraction is used to ameliorate the state explosion problem. The experiment results of an industry application demonstrate the effectiveness of our approach.