Formalization and Verification of PLC Timers in Coq.

Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu

Browse the full COMPSAC paper archive.