Runtime Checking for Separation Logic

DOI10.1007/978-3-540-78163-9_19zbMath1138.68456OpenAlexW1561702747MaRDI QIDQ5452718

Viktor Kuncak, Wei-Ngan Chin, Huu Hai Nguyen

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://infoscience.epfl.ch/record/161471

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic ⋮ Linear capabilities for fully abstract compilation of separation-logic-verified code

This page was built for publication: Runtime Checking for Separation Logic