Predicate Abstraction for Programmable Logic Controllers.

Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski

Browse the full FMICS paper archive.