Abstract - IPAM

Abstract

Hybrid BDD and All-SAT Method for Model Checking

Orna Grumberg

Technion - Israel Institute of Technology

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