Login / Signup
A model-driven engineering approach to formal verification of PLC programs.
Jean-Marie Farines
Max Hering de Queiroz
Vinicius G. da Rocha
Ana Maria M. Carpes
François Vernadat
Xavier Crégut
Published in:
ETFA (2011)
Keyphrases
</>
formal verification
model driven engineering
program slicing
model checking
model driven
model checker
automated verification
bounded model checking
symbolic model checking
databases
black box
database
software engineering
software systems
software design
model driven architecture