Two CEGAR-based approaches for the safety verification of PLC-controlled plants.

Johanna NellenKai DriessenMartin R. NeuhäußerErika ÁbrahámBenedikt Wolters
Published in: Inf. Syst. Frontiers (2016)