News for hackers. Stuff that matters.

A comment on CSolve: Liquid Types-Based C Program Verifier.

Re:CSolve: Liquid Types-Based C Program Verifier by posco on Saturday March 14, 2020 @04:55PM (#22578608)
Having this with rust could be a very powerful combo.
[ Parent | on HN ]

There are no comments on this comment yet.