Specifying and Verifying PLC Systems with TLA+.

Hehua Zhang, Stephan Merz, Ming Gu

Browse the full TASE paper archive.