Automatic verification of Java programs with dynamic frames
type: Item
instance of: scholarly article
title: Automatic verification of Java programs with dynamic frames
zbMATH Open document ID: 1204.68131
author: Jan Smans
author: Bart Jacobs
author: Frank Piessens
author: Wolfram Schulte
published in: Formal Aspects of Computing
publication date: 2010-05-28T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 5713419
zbMATH Keywords: program verification
zbMATH Keywords: dynamic frames
zbMATH Keywords: frame problem
zbMATH Keywords: data abstraction
describes a project that uses: z3
describes a project that uses: jStar
describes a project that uses: MJ
describes a project that uses: Spec#
describes a project that uses: VeriFast
describes a project that uses: Boogie
describes a project that uses: Featherweight Java
MaRDI profile type: Publication
full work available at URL: s00165-010-0148-1
OpenAlex ID: W2069522167
cites work: Programming Languages and Systems
cites work: Mathematics of Program Construction
cites work: Lazy behavioral subtyping
cites work: Specification and verification challenges for sequential object-oriented programs
cites work: Using History Invariants to Verify Observers
cites work: Protective interface specifications
cites work: Modular specification and verification of object-oriented programs
cites work: Separation logic, abstraction and inheritance
DOI: 10.1007/S00165-010-0148-1
description: scientific article; zbMATH DE number 5713419