CSolve: Liquid Types-Based C Program Verifier

Posted by pabs3 on Saturday March 14, 2020 @02:53AM
from the goto.ucsd.edu dept.

( 4 comments | 54 points | on HN )

Re:CSolve: Liquid Types-Based C Program Verifier by sramsay on Saturday March 14, 2020 @04:34PM (#22578455)

Looks great! Also looks like academic abandonware.

[ Parent | on HN ]

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].

[ Parent | on HN ]

Re:CSolve: Liquid Types-Based C Program Verifier by Animats on Saturday March 14, 2020 @04:58PM (#22578637)

(2012) Demo broken.

[ Parent | on HN ]

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 ]