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

@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}
}