Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.

Sebastian Biallas Jörg Brauer Stefan Kowalewski Bastian Schlich

Published in: FORMS/FORMAT (2010)

Keyphrases

programs written
operating system
programming language
source code
symbolic representation
high level
control system
moment invariants
affine invariant
programmable logic controller
machine learning
model checking
data transmission
invariant features
scripting languages