Jaeseo Lee, Sangki Kim, Kyungmin Bae. Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. In Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022. pages 56-67, ACM, 2022. [doi]
Abstract is missing.