Separation Logic

file

Visible to the public Through the Lens of Abstraction

Submitted by brad_martin on Tue, 04/22/2014 - 11:04am. Contributors:

Presented as part of the 2014 HCSS conference.

This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics.

file

Visible to the public Separation Logic Modulo Theories

Submitted by TimTh on Tue, 05/28/2013 - 11:51am. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT: