C*: Unifying Programming and Verification in C
This article introduces C*, a new approach designed to unify programming and formal verification within the C language. It provides links to the academic paper and associated research tools for developers and researchers.
Why it matters
Improving the verification of C code is essential for enhancing software security and reliability in critical infrastructure and systems programming.
Focus to learn more arXiv-issued DOI via DataCite Submission history From: Yiyuan Cao [ view email ] [v1] Thu, 3 Apr 2025 03:22:22 UTC (414 KB) Full-text links: Access Paper: View a PDF of the paper titled C*: Unifying Programming and Verification in C, by Yiyuan Cao and 10 other authors View PDF HTML (experimental) TeX Source view license Current browse context: cs.PL < prev | next > new | recent | 2025-04 Change to browse by: cs cs.SE 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? ) scite.ai Toggle scite Smart Citations ( What are Smart Citations?
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