Abstract - IPAM

Abstract

SAT-based methods for proving properties in Reynolds/O'Hearn Separation Logic

Daniel Kroening

Eidgenössische TH Zürich-Zentrum

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