dSPIN: A Dynamic Extension of SPIN


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



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