Abstract - IPAM

Abstract

Reasoning about Bit Vector Programs with Decision Procedures

Alessandro Cimatti

Istituto per la Ricerca Scientifica e Tecnologica (IRST)

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