Proving equivalence between control software variants for Programmable Logic Controllers.

Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert

Browse the full ETFA paper archive.