Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Regression Verification for Programmable Logic Controller Software

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander Weigl
In:17th International Conference on Formal Engineering Methods (ICFEM 2015)
Year:2015
PDF:/biblio/projects/improve/icfem2015.pdf
URL:/improve/plc/
Keywords: IMPROVE

BibTeX

@InProceedings{BeckertUlbrichEA2015,
  author    = {Bernhard Beckert and Mattias Ulbrich and Birgit Vogel-Heuser and Alexander Weigl},
  title     = {Regression Verification for Programmable Logic Controller Software},
  booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015)},
  month     = nov,
  year      = {2015},
  keywords  = {IMPROVE},
  url       = {/improve/plc/}
}