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

Bohlender, Dimitri (Corresponding author); Hamm, Daniel; Kowalewski, Stefan

New York, NY : ACM (2018)
Contribution to a book, Contribution to a conference proceedings

In: 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)/Article-Nr.: 1891-1898


  • Department of Computer Science [120000]
  • Chair of Computer Science 11 (Embedded Software) [122810]