Cycle-bounded model checking of PLC software via dynamic large-block encoding.

Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski

Browse the full SAC paper archive.