Zap
From MaRDI portal
Cited in
(8)- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- E-matching for fun and profit
- 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
- Efficient Interpolant Generation in Satisfiability Modulo Theories
- nomore++
- Nemerle
- Zap: Automated Theorem Proving for Software Analysis
This page was built for software: Zap
