News for hackers. Stuff that matters.

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

Re:CSolve: Liquid Types-Based C Program Verifier by mintplant on Saturday March 14, 2020 @08:52PM (#22580099)
I know/have worked with the team behind it at UCSD. They've mostly moved on to LiquidHaskell [0].

[0] https://ucsd-progsys.github.io/liquidhaskell-blog/

[ Parent | on HN ]

There are no comments on this comment yet.