Zap: Automated Theorem Proving for Software Analysis.

Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi

Browse the full LPAR paper archive.