====== DCDS 2013: Best Paper Award ======

The publication //Boolean and Modular Abstractions for Programmable Logic Controllers//, written by Sebastian Biallas, Dimitri Bohlender and Stefan Kowalewski, won the [[http://dcds13.net.dcs.hull.ac.uk/awards|Best Paper Award]] at the [[http://dcds13.net.dcs.hull.ac.uk/|4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS'13)]].
The paper deals with two abstractions for PLC programs which are used by the verification-tool [[http://arcade.embedded.rwth-aachen.de|Arcade.PLC]]. The tool is developed by the Chair of Computer Science 11.