Cogent: Accurate theorem proving for program verification (2005)

by B Cook, D Kroening, N Sharygina
Venue:In Proceedings of CAV 2005