A live static code analysis architecture for PLC software.

Mathias Obster, Stefan Kowalewski

Browse the full ETFA paper archive.