Reasoning About Sequences of Memory States

DOI10.1007/978-3-540-72734-7_8zbMath1132.68335OpenAlexW1479786137MaRDI QIDQ5434501

Stéphane P. Demri, Etienne Lozes, Rémi Brochenin

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Model checking dynamic memory allocation in operating systems ⋮ Reasoning about sequences of memory states ⋮ On the Almighty Wand

This page was built for publication: Reasoning About Sequences of Memory States