Verification of Code for Programmable Logic Controllers.

Sebastian Biallas

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)

Keyphrases

programmable logic
hardware description language
source code
control system
field programmable gate array
byte code
model checking
case study
face verification
controller design
symbolic execution
feature extraction
signature verification
formal verification
verification method