Powering the static driver verifier using Corral

Akash Lal, Shaz Qadeer
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
ACM
Pages 202-212
2014
Topic(s): tools verification
Note(s): Corral verifier