Tootfinder

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
Jaeseo Lee, Kyungmin Bae
https://arxiv.org/abs/2507.15596 https://

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
Programmable Logic Controllers (PLCs) are widely used in industrial automation to control physical systems. As PLC applications become increasingly complex, ensuring their correctness is crucial. Existing formal verification techniques focus on individual PLC programs in isolation, often neglecting interactions with physical environments and network communication between controllers. This limitation poses significant challenges in analyzing real-world industrial systems, where continuous dynami…