Abstract - IPAM

Abstract

Bounded and Unbounded Model Checking using SAT

Edmund M. Clarke

Carnegie-Mellon University

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