CSolve: Liquid Types-Based C Program Verifier

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/

(2012) Demo broken.