Abstract - IPAM

Abstract

Efficient SAT-based Techniques for Predicate Abstraction

Shuvendu Lahiri

Carnegie-Mellon University

No video available
Back to Affiliates Workshop: Satisfiability Solvers and Program Verification