TY  - RPRT
TI  - ESBMC-Arduino: Closing the Deployment Gap for Formal Verification of Open-Hardware PLCs
AU  - Pierre Dantas
AU  - Lucas Cordeiro
AU  - Waldir Junior
PY  - 2026
UR  - https://arxiv.org/abs/2607.08550
ID  - 2607.08550
ER  -