Translation-Based Model Checking for PLC Programs.

Min Zhou, Fei He, Ming Gu, Xiaoyu Song

Browse the full COMPSAC paper archive.