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 Papers related to Powering the static driver verifier using Corral Verifying Rust programs with SMACK [baranowski:atva:2018]