Claudio Demartini, Radu Iosif, Riccardo Sisto  Home/Search
Context Related
Links: DBLP | belllabs.com/netlib/spi...ug090185.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/netlib/...program99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 language extensions along with their implementation in SPIN. We carried out a number of experiments and found out that an important... (Update)
Cited by: More
Submitted to the Department of Electrical Engineering and.. - Science In Partial (Correct)
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
Int J Softw Tools Technol Transfer (2004) 6: 257--259 /.. - Special Section On (Correct)
Similar documents (at the sentence level):
8.3%: The dSPIN User Manual - Iosif (Correct)
Active bibliography (related documents): More All
1.0: A Survey on Model Checking Java Programs - Sean Thomps On (Correct)
0.0: Beyond Traditional Program Slicing - Sloane, al. (1996) (Correct)
0.0: Ox: An Attribute-Grammar Compiling System based on Yacc, Lex.. - Bischoff (1993) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Using Process Algebras to Formally Specify Mobile Agent.. - Hannotin, Maggi, Sisto (2001) (Correct)
0.5: SCARAB: Innovative Services Supporting User and Terminal.. - Ciminiera, Maggi (Correct)
0.5: A Configurable Mobile Agent Data Protection Protocol - Maggi, Sisto (Correct)
Related documents from co-citation: More All
26: Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer et al. - 2000
23: Model Checking Java Programs using Java PathFinder - Havelund, Pressburger - 1998
21: IEEE Transactions on Software Engineering (context) - Holzmann, Checker - 1997
BibTeX entry: (Update)
C. Demartini, R. Iosif, and R. Sisto. dspin : A dynamic extension of SPIN. In Theoretical and Applied Aspects of SPIN Model Checking (LNCS 1680), September 1999. http://citeseer.ist.psu.edu/demartini99dspin.html More
@inproceedings{ demartini99dspin,
author = "Claudio Demartini and Radu Iosif and Riccardo Sisto",
title = "{dSPIN}: A Dynamic Extension of {SPIN}",
booktitle = "{SPIN}",
pages = "261-276",
year = "1999",
url = "citeseer.ist.psu.edu/demartini99dspin.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1972
866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
11 Lecture Notes in Computer Science (context) - Wolper, Godefroid et al. - 1993
2 Sisto: Modeling and Validation of Java Multithreading Applic.. (context) - Demartini, Iosif - 1998
2 dai-arc/auto/tools/tool (context) - Iosif, User et al.
1 Schkolnick: Concurrency of Operations on B-Trees (context) - Bayer - 1977
1 Holzmann: State Compression in SPIN: Recursive Indexing and .. (context) - Gerard - 1997
1 Holzmann: An Improvement in Formal Verification (context) - Gerard - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://netlib.bell-labs.com/netlib/spin/ws99b/program99.html): More
Formal Methods Adoption: What's working, What's not! - Craigen (1999) (Correct)
Assume-Guarantee Model Checking of Software: A Comparative .. - Pasareanu, Dwyer, Huth (1999) (Correct)
VIP: A Visual Interface for Promela - Kamel, Leue (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC