Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity

Reviewed Paper In Proceedings

Author(s):Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, and Birgit Vogel‑Heuser
In:20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)
Year:2015
Preprint/PDF:UlewiczUlbrichWeiglBeckertVogelHeuser15.pdf

BibTeX

@InProceedings{UlewiczUlbrichWeiglBeckertVogelHeuser15,
  author   = {Sebastian Ulewicz and Mattias Ulbrich and Alexander Weigl 
              and Bernhard Beckert and Birgit Vogel-Heuser},
  title = {Proving Equivalence between Control Software Variants 
           for Programmable Logic Controllers - 
           Using Regression Verification to 
           Reduce Unneeded Variant Diversity},
  booktitle = {20th IEEE International Conference on 
               Emerging Technologies and Factory Automation (ETFA 2015)},
  year = {2015},
  month = {September}
}