Zap
From MaRDI portal
Software:18897
No author found.
Related Items (6)
Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2--6, 2005. Proceedings ⋮ Zap: Automated Theorem Proving for Software Analysis ⋮ A Reachability Predicate for Analyzing Low-Level Software ⋮ Using First-Order Theorem Provers in the Jahob Data Structure Verification System ⋮ Efficient Interpolant Generation in Satisfiability Modulo Theories ⋮ E-matching for Fun and Profit
This page was built for software: Zap
