A toolset for model checking of PLC software.

Antti Pakonen, Teemu Mtsniemi, Jussi Lahtinen, Tommi Karhela

Browse the full ETFA paper archive.