PLC code generation based on a formal specification language.

Dániel Darvas Enrique Blanco Viñuela István Majzik

Published in: INDIN (2016)

Keyphrases

code generation
formal specification language
formal specification
model checking
temporal logic
formal methods
code generator
control system
reverse engineering
modeling language
software components
application development
fine grained
knowledge representation
real world
black box
rapid prototyping