Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin  Home/Search
Context Related
| ulb.ac.be/di/ssd/jfr/DRVtacas2002.ps disi.unige.it/person/...drvjava01.ps.gz 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: ulb.ac.be/di/publicatio...RT_2001 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we investigate in the possible application of parameterized veri cation techniques (see [1, 12, 13, 16, 15, 25]) to synchronization skeletons of multithreaded Java programs. As first conceptual contribution, we identify a class of infinite-state abstract models that preserve the main features of the semantics of concurrent Java. We achieve this goal by exploting an interesting connection with the Broadcast Protocols of [15, 16], and by introducing a new communication primitive... (Update)
Similar documents based on text: More All
1.2: CSTs (Covering Sharing Trees): Compact Data Structures.. - Delzanno, Raskin, Van.. (Correct)
1.0: Attacking Symbolic State Explosion - Delzanno, Raskin, Van Begin (Correct)
0.8: Symbolic Distributed Verification of a Class of.. - Massart, Raskin, Van.. (2002) (Correct)
Related documents from co-citation: More All
6: General decidability theorems for infinite-state systems - Abdulla, Cer et al. - 1996
6: Reset nets between decidability and undecidability - Dufourd, Finkel
6: the verification of broadcast protocols - Esparza, Finkel et al. - 1999
BibTeX entry: (Update)
G. Delzanno, J-F. Raskin and L. Van Begin. Towards the Automated Verification of Multithreaded Java Programs. International Conference on Tools and Algorithms for Construction and Analysis of Systems, Grenoble, Frane, 2002. http://citeseer.ist.psu.edu/delzanno02towards.html More
@inproceedings{ delzanno02towards,
author = "Giorgio Delzanno and Jean-Fran\c{c}ois Raskin and Laurent Van Begin",
title = "Towards the Automated Verification of Multithreaded Java Programs",
booktitle = "Tools and Algorithms for Construction and Analysis of Systems",
pages = "173--187",
year = "2002",
url = "citeseer.ist.psu.edu/delzanno02towards.html" }
Citations (may not include all citations):21 Petri nets with marking-dependent arc multiplicity: properti.. (context) - Ciardo - 1994
1 General Decidability Theorems for In nite-State Systems (context) - Abdulla, ans et al. - 1996
1 Symbolic Model Checking of In nite-state Systems using Presb.. (context) - Bultan, Gerber et al. - 1997
1 A Short Course on the Basics (context) - Campione, Walrath et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ulb.ac.be/di/publications/RT_2001.html): More
A Game-Based Verification of Non-Repudiation and Fair.. - Kremer, Raskin (2001) (Correct)
A Comparison of Control Problems for Timed and Hybrid Systems - Cassez, Henzinger, Raskin (2002) (Correct)
Proceedings of the Workshop on Automated Verification of Critical.. - Nowak (2001) (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