corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08218-0595-700e-955c-e953e033c67f

C*: Unifying Programming and Verification in C

arXiv · published 8 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at arxiv.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
14
Words captured
273

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://arxiv.org/search/cs?searchtype=author&query=Cao,+Y
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Zhuang,+J
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Chen,+H
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Fan,+J
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Xu,+W
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Wang,+Z
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Wang,+D
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Cao,+Q
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Xiong,+Y
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Zhao,+H
arxiv.org
https://arxiv.org/search/cs?searchtype=author&query=Hu,+Z
arxiv.org
https://arxiv.org/pdf/2504.02246
arxiv.org
https://arxiv.org/html/2504.02246v1
arxiv.org
https://arxiv.org/show-email/66c31518/2504.02246
arxiv.org