CAV
2012
Springer
12 years 2 months ago
2012
Springer
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...