G4LTL-ST: Automatic Generation of PLC Programs.

Chih-Hong Cheng Chung-Hao Huang Harald Ruess Stefan Stattelmann

Published in: CAV (2014)

Keyphrases

automatically generate
model checking
data sets
bounded model checking
control system
databases
search algorithm
low cost
domain specific
evaluation function
intermediate level
automatic programming
control program