@InProceedings{UlewiczUlbrichEA2015, 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)}, keywords = {IMPROVE}, month = sep, year = {2015} }
Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity
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 |
PDF: | /biblio/projects/improve/etfa2015.pdf |
Keywords: | IMPROVE |