News for hackers. Stuff that matters.

A comment on C*: Unifying Programming and Verification in C.

Re:C*: Unifying Programming and Verification in C by slowcache on Tuesday September 08, 2026 @05:42PM (#49617507)
I think formal verification is a super interesting field, but this is a non-starter for me because I do not have a backwards E on my keyboard
[ Parent | on HN ]

There are no comments on this comment yet.