Abstract - IPAM

Abstract

SAT, Interpolants, and Software Model Checking

Ken McMillan

Cadence

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