Waldir Junior

Identifiers

• name variant Waldir Junior 0.60 · backfill

Papers (4)

1. ESBMC-PLC+: A Unified IEC 61131-3 Formal Verification Framework as a PLCverif Successor cs.PL · 2026 · author #3
2. ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking cs.PL · 2026 · author #3
3. ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification cs.SE · 2026 · author #3
4. The 4/$\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee cs.AI · 2025 · author #4

Mentions

• 2512.02080 #4 · arxiv_oai · confidence 0.70 Waldir Junior
• 2606.23870 #3 · arxiv_oai · confidence 0.70 Waldir Junior
• 2606.18941 #3 · arxiv_oai · confidence 0.70 Waldir Junior
• 2605.26169 #3 · arxiv_oai · confidence 0.70 Waldir Junior

Frequent Coauthors

• Lucas Cordeiro 4 shared papers
• Pierre Dantas 4 shared papers
• Youcheng Sun 1 shared papers