Enforcing structural invariants using dynamic frames
type: Item
instance of: scholarly article
title: Enforcing Structural Invariants Using Dynamic Frames
zbMATH Open document ID: 1315.68090
DOI: 10.1007/978-3-642-19835-9_8
author: Diego Garbervetsky
author: Daniel Gorín
author: Ariel Neisen
published in: Tools and Algorithms for the Construction and Analysis of Systems
publication date: 2011-05-19T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 5897397
describes a project that uses: Spec#
describes a project that uses: VeriCool
describes a project that uses: Dafny
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-19835-9 8
OpenAlex ID: W1582421782
cites work: Q4250669
cites work: The dynamic frames theory
cites work: Verifying properties of well-founded linked lists
cites work: Dafny: an automatic program verifier for functional correctness
cites work: A Basis for Verifying Multi-threaded Programs
cites work: Automated Deduction – CADE-20
Recommended article: The dynamic frames theory
Recommended article: Dynamic frames in Java dynamic logic
Recommended article: Automatic verification of Java programs with dynamic frames
Recommended article: Abstract dynamic frames
Recommended article: Generalized arrays for Stainless frames
description: scientific article; zbMATH DE number 5897397