Parameterized Specification and Verification of PLC Systems in Coq.

Hai Wan, Xiaoyu Song, Ming Gu

Browse the full TASE paper archive.