Radar ·
C*: programming and verification in C
Published on September 8, 2026, the article presents C*, an approach to bringing programming in C closer to formal verification.
Published on September 8, 2026, “C*: Unifying Programming and Verification in C” presents C*, an approach intended to bring conventional C programming closer to formal verification practices. The article identifies the gap between these environments as its central topic.
The material says the approach may help systems programmers make formal verification more accessible, but the available summary gives no methods or experimental results. To assess the proposal’s scope, consult the original article and check the techniques and evidence it presents.
Original source: C*: Unificando programação e verificação em C