Zap
From MaRDI portal
Software:18897
swMATH6823MaRDI QIDQ18897FDOQ18897
Author name not available (Why is that?)
Cited In (6)
- 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
- E-matching for fun and profit
This page was built for software: Zap
