Automated Verification of Function Block Based Industrial Control Systems.

Norbert Völker Bernd J. Krämer

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

automated verification
control system
model checking
industrial applications
automated reasoning
real time
motion estimation
piecewise linear
formal verification