Waldir Junior
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Architecture×1Systems and Control×1
Frequent co-authors
Research Timeline
2026
ESBMC-Arduino: Closing the Deployment Gap for Formal Verification of Open-Hardware PLCs
This paper presents hardware-faithful verification for IEC 61131-3 on low-cost microcontrollers, reducing false alarms and preserving robustness proofs.
Highlighted terms show continued research focus across papers