Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity
Ulewicz, Sebastian; Ulbrich, Mattias
1; Weigl, Alexander
1; Beckert, Bernhard
1; Vogel-Heuser, Birgit
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Weigl, Alexander
1; Beckert, Bernhard
1; Vogel-Heuser, Birgit1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4673-7930-4 ISSN: 1946-0740 KITopen-ID: 1000052939 |
| Erschienen in | 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015) : Luxembourg, 8 - 11 September 2015 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | Art.Nr.: 7301603 |
| Serie | IEEE International Conference on Emerging Technologies and Factory Automation, ETFA |
| Bemerkung zur Veröffentlichung | accepted |
| Nachgewiesen in | Scopus Dimensions |