dSPIN: A Dynamic Extension of SPIN

Abstract

The SPIN extension presented in this article is meant as a way to facilitate the modeling and verification of object-oriented programs. It provides means for the formal representation of some run-time mechanisms intensively used in OO software, such as dynamic object creation and deletion, virtual function calls, etc. This article presents a number of… (More)
DOI: 10.1007/3-540-48234-2_20

6 Figures and Tables

Topics

Statistics

01020'00'02'04'06'08'10'12'14'16'18
Citations per Year

139 Citations

Semantic Scholar estimates that this publication has 139 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics