CSolve: Verifying C with Liquid Types.

Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala

Browse the full CAV paper archive.