C*: Bringing programming and verification closer in C
An article dated September 8, 2026 presents C*, an approach to bring conventional C programming closer to formal verification.
Source: C*: Unificando programação e verificação em C (arxiv.org). Text prepared with AI from this source.
What happened and what to do
The article on C*, dated September 8, 2026, presents an approach to unify programming and verification in C. It focuses on the gap between conventional programming environments and formal verification practices, with the stated aim of making verification more accessible to systems developers.
A company maintaining C software can assess how to incorporate formal checks into its development workflow, starting by mapping critical components, safety criteria, and review stages. A practical response is a technical diagnosis and a bounded pilot, without assuming the approach fits every system.
How the consultancy can help
Wendelmaques can diagnose a C development workflow and its verification risks, define an evaluation or pilot scope, and implement integration with the company's processes and tools. Ongoing operation can also be included in the scope.
Next step
Send a short description of your C system and verification challenge. Wendelmaques can assess the case and prepare a scoped proposal.
Let's assess your project
I reply with scope and a proposal.