Guillaume Brat, Klaus Havelund, SeungJoon Park, Willem Visser  Home/Search
Context Related
| riacs.edu/research/detai...wave00.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: riacs.edu/research/detail...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion We have been developing an automated abstraction tool, which converts a Java program to an abstract program with respect to user-specified abstraction criteria. The user can specify abstractions by removing variables in the concrete program and/or adding new variables (currently the tool supports adding boolean types only) to the abstract program. Specifically, the user selects variables that must be removed and adds abstract variables that represent the predicates in which these ... (Update)
Cited by: More
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at.. - Moy, Maraninchi, al. (Correct)
Model-Carrying Code: A Practical Approach for Safe .. - Sekar.. (2003) (Correct)
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (Correct)
Similar documents (at the sentence level):
41.7%: Model Checking Programs - Brat, Havelund, Park, Visser (2000) (Correct)
14.1%: Using Runtime Analysis to Guide Model Checking of Java Programs - Havelund (2000) (Correct)
6.7%: Formal Analysis of the Remote Agent Before and After.. - Havelund, Lowry, Park, .. (2000) (Correct)
Active bibliography (related documents): More All
0.2: Program Model Checking as a New Trend - Havelund, Visser (2000) (Correct)
0.1: Software Construction and Analysis Tools for Future Space Missions - Lowry (2001) (Correct)
0.1: Trail-directed Java Program Verification - Mehler, Edelkamp (Correct)
Similar documents based on text: More All
0.6: Predicate Abstraction for Object-Oriented Programs - Park, Visser, Oh (Correct)
0.5: Addressing Dynamic Issues of Program Model Checking - Lerda, Visser (Correct)
0.5: Synthesizing Dynamic Programming Algorithms from Linear.. - Rosu, Havelund (2001) (Correct)
Related documents from co-citation: More All
17: Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer et al. - 2000
9: Model Checking - Clarke, Grumberg et al. - 1994
7: Model checking for programming languages using VeriSoft - Godefroid - 1997
BibTeX entry: (Update)
W. Visser, K. Havelund, G. Brat, and S. Park. Java PathFinder - Second Generation of a Java Model Checker. In Proc. of Post-CAV Workshop on Advances in Verification, Chicago, July 2000. http://citeseer.ist.psu.edu/visser00java.html More
@misc{ visser00java,
author = "W. Visser and K. Havelund and G. Brat and S. Park",
title = "Java PathFinder - Second Generation of a Java Model Checker",
text = "W. Visser, K. Havelund, G. Brat, and S. Park. Java PathFinder - Second
Generation of a Java Model Checker. In Proc. of Post-CAV Workshop on Advances
in Verification, Chicago, July 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/visser00java.html" }
Citations (may not include all citations):270 Bandera : Extracting Finite-state Models from Java Source Co.. - Corbett, Dwyer et al. - 2000
259 A Survey of Program Slicing techniques - Tip - 1995 DBLP
140 Eraser: A Dynamic Data Race Detector for Multithreaded Progr.. - Savage, Burrows et al. - 1997 DBLP
108 An Improvement in Formal Verification - Holzmann, Peled - 1994
94 Validity Checking for Combinations of Theories with Equality - Barrett, Dill et al. - 1996 ACM DBLP
53 Formal Analysis of a Space Craft Controller using SPIN - Havelund, Lowry et al. - 1998
38 Abstract and Model Check while you Prove (context) - Saidi, Shankar - 1999
32 A Formal Study of Slicing for Multi-threaded Programs with J.. - Hatcliff, Corbett et al. - 1999 ACM DBLP
27 Systematic Testing of Multithreaded Java Programs - Bruening - 1999
18 Formal Analysis of the Remote Agent Before and After Flight - Havelund, Lowry et al. - 2000
17 Implementing a Java Virtual Machine in the Java Programming .. - Taivalsaari - 1998
14 Using Predicate Abstraction to Reduce Object-Oriented Progra.. - Visser, Park et al. - 2000 ACM
14 Program Slicing of Hardware Description Languages - Clarke, Fujita et al. - 1999 ACM DBLP
12 Slicing Promela and its Application to Model Checking - Millett, Teitelbaum - 1998
9 Practical Application of Model Checking in Software Verifica.. - Havelund, Skakkebaek - 1999
9 Generating Finite-state Abstractions of Reactive Systems usi.. (context) - Col'on, Uribe - 1998
6 Java Bytecode Verification by Model Checking (context) - Basin, Friedrich et al. - 1999 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.riacs.edu/research/detail/ase/index.html): More
Practical CTL Model Checking - Should SPIN be Extended? - Visser, Barringer (2000) (Correct)
Advanced Modelling and Verification Techniques Applied to a.. - Pecheur (1998) (Correct)
An Integration of Deductive Retrieval into Deductive Synthesis - Fischer, Whittle (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