Compositional entailment checking for a fragment of separation logic - Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš (Formal methods in system design, 2017)
Keywords: CAE) and Design; Circuits and Systems; Computer Science; Computer-Aided Engineering (CAD; Data structures; Electrical Engineering; Engineering; Lists; Logic in Computer Science; Nesting; Program verification (computers); Programming Languages; Separation; Skip lists; Software Engineering/Programming and Operating Systems; Separation logic; Decision procedure; Tree automata; Program analysis