Quantitative Separation Logic and Programs with Lists

DOI10.1007/978-3-540-71070-7_4zbMath1165.03329OpenAlexW1583548027MaRDI QIDQ3541685

Radu Iosif, Marius Bozga, Swann Perarnau

Publication date: 27 November 2008

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5311

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (3)

On the almighty wand ⋮ On the Almighty Wand ⋮ On Model Checking Boolean BI

This page was built for publication: Quantitative Separation Logic and Programs with Lists