Zap

swMATH6823MaRDI QIDQ18897FDOQ18897

Author name not available (Why is that?)

Official website: http://research.microsoft.com/apps/pubs/default.aspx?id=70224

Cited In (8)

• Efficient Interpolant Generation in Satisfiability Modulo Theories
• Zap: Automated Theorem Proving for Software Analysis
• Using First-Order Theorem Provers in the Jahob Data Structure Verification System
• Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2--6, 2005. Proceedings
• A Reachability Predicate for Analyzing Low-Level Software
• nomore++
• Nemerle
• E-matching for fun and profit

This page was built for software: Zap