Abstract - IPAM

Abstract

Verifying C Programs using SAT-based model checking

Aarti Gupta

NEC Research Institute

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