Behavioral model synthesis of PLC programs from execution traces.

Herbert Prähofer Roland Schatz Andreas Grimmer

Published in: ETFA (2014)

Keyphrases

behavioral model
execution traces
functional programs
source code
behavior analysis
control system
cognitive model
program comprehension
open source
computer programs