Mechanized Verification with Sharing

DOI10.1007/978-3-642-14808-8_17zbMath1286.68321OpenAlexW2136096746MaRDI QIDQ3585053

Greg Morrisett, Gregory Malecha

Publication date: 31 August 2010

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

Full work available at URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:10860121

Mathematics Subject Classification ID

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

Related Items (1)

Verification of mutable linear data structures and iterator-based algorithms in Dafny

This page was built for publication: Mechanized Verification with Sharing