ESBMC-Arduino: Closing the Deployment Gap for Formal Verification
This article provides metadata for a research paper titled 'ESBMC-Arduino,' which focuses on formal verification for open-hardware programmable logic controllers. It serves as a repository entry for academic work in computer science.
Why it matters
Formal verification is critical for ensuring the reliability and safety of hardware systems used in industrial and embedded applications.
Focus to learn more arXiv-issued DOI via DataCite Submission history From: Pierre Dantas [ view email ] [v1] Thu, 9 Jul 2026 14:42:15 UTC (44 KB) Full-text links: Access Paper: View a PDF of the paper titled ESBMC-Arduino: Closing the Deployment Gap for Formal Verification of Open-Hardware PLCs, by Pierre Dantas and 2 other authors View PDF HTML (experimental) TeX Source view license Current browse context: cs.PL < prev | next > new | recent | 2026-07 Change to browse by: cs cs.AR cs.SY eess eess.SY References & Citations NASA ADS Google Scholar Semantic Scholar export BibTeX citation Loading... BibTeX formatted citation loading... Data provided by: Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer ( What is the Explorer? ) Connected Papers Toggle Connected Papers ( What is Connected Papers? ) Litmaps Toggle Litmaps ( What is Litmaps?
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in