Cycle-Bounded Model Checking of PLC Software via Dynamic Large-Block Encoding

New York, NY / ACM (2018) [Contribution to a book, Contribution to a conference proceedings]

Applied computing 2018 : the 33rd Annual ACM Symposium on Applied Computing : Pau, France, April 9-13, 2018 / sponsored by: ACM Special Interest Group on Applied Computing ; conference chairs: Hisham M. Haddad (Kennesaw State University, USA), Roger L. Wainwright (University of Tulsa, USA), Richard Chbeir (University of Pau & Pays Adour, France)
Page(s): 1891-1898



Bohlender, Dimitri
Hamm, Daniel
Kowalewski, Stefan