ESBMC-Arduino: Closing the Deployment Gap for Formal Verification

Software Development, Programming Languages, Formal Verification(arxiv.org)view on HackerNews

formal verificationPLCsESBMC-ArduinoIEC 61131-3open-hardware

Author: Jimmc414

Date: 7/14/2026

Article Summary:

The paper presents ESBMC-Arduino, a tool for formal verification of open-hardware PLCs, closing the deployment gap for formal verification of real-world PLCs.