Shape Analysis of Sets.

DOI10.4230/OASIcs.TrustworthySW.2006.698zbMath1247.68060OpenAlexW1512920071MaRDI QIDQ2917408

Jan Reineke

Publication date: 28 September 2012

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Other.698.pdf

zbMATH Keywords

verificationinvariantsalgebraic specificationimperative programsshape analysisabstract data typeset implementations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

This page was built for publication: Shape Analysis of Sets.