Satyaki Das, David L. Dill, Seungjoon Park  Home/Search
Context Related
| stanford.edu/spark/cav99.ps stanford.edu/PAPERS/DDP99.ps riacs.edu/research/detail...cav99.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: stanford.edu/spark...publications (more) From: stanford.edu/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion ? Satyaki Das 1 , David L. Dill 1 , and Seungjoon Park 2 1 Computer Systems Laboratory, Stanford University, Stanford, CA 94305 2 RIACS, NASA Ames Research Center, Moffett Field, CA 94035 Abstract. This reports some experiences with a recently-implemented prototype system for verification using predicate abstraction, based on the method of Graf and Saidi [9]. Systems are described using a language of iterated guarded commands, called MurOE \Gamma\Gamma (since it is a simplified... (Update)
Cited by: More
A Symbolic Approach to Predicate Abstraction - Shuvendu Lahiri Randal (2003) (Correct)
Making Predicate Abstraction Efficient: - How To Eliminate (Correct)
Ecient Veri - Cation Of Sequential (Correct)
Active bibliography (related documents): More All
0.4: Predicate Abstraction - Das (2003) (Correct)
0.3: the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
0.2: A Mechanized Refinement Proof for a Garbage Collector - Havelund, Shankar (1997) (Correct)
Similar documents based on text: More All
0.6: Counter-Example Based Predicate Discovery in Predicate Abstraction - Das, Dill (2002) (Correct)
0.3: Predicate Abstraction for Object-Oriented Programs - Park, Visser, Oh (Correct)
0.2: Verification of FLASH Cache Coherence Protocol by Aggregation.. - Park, Dill (1996) (Correct)
Related documents from co-citation: More All
61: Construction of abstract state graphs with pvs - Graf, Saidi - 1997
26: Counterexample-guided abstraction refinement - Clarke, Grumberg et al. - 2000
24: Automatic predicate abstraction of c programs - Ball, Majumdar et al. - 2001
BibTeX entry: (Update)
Satyaki Das, David L. Dill, and Seungjoon Park. Experience with predicate abstraction. In 11th International Conference on Computer-Aided Verification, pages 160--172. Springer-Verlag, July 1999. Trento, Italy. http://citeseer.ist.psu.edu/das99experience.html More
@inproceedings{ das99experience,
author = "Satyaki Das and David L. Dill and Seungjoon Park",
title = "Experience with Predicate Abstraction",
booktitle = "Computer Aided Verification",
pages = "160-171",
year = "1999",
url = "citeseer.ist.psu.edu/das99experience.html" }
Citations (may not include all citations):200 Construction of abstract state graphs with PVS - Graf, Saidi - 1997
191 Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
129 fly garbage collection: An exercise in cooperation (context) - Dijkstra, Lamport et al. - 1978
94 Validity checking for combinations of theories with equality - Barrett, Dill et al. - 1996
87 Reasoning about systems with many processes (context) - German, Sistla - 1992
27 unobtrusive garbage collection for multiprocessor systems (context) - Doligez, Gonthier - 1994
26 ACM Transactions on Programming Languages and Systems (context) - Ben-Ari, on-the-fly - 1984
24 generational garbage collector for a multithreaded implement.. (context) - Doligez, Leroy et al. - 1993
17 Reasoning with many processes (context) - Sistla, German - 1987
13 A mechanized refinement proof for a garbage collector - Havelund, Shankar - 1997
11 An incremental garbage collection algorithm for multi-mutato.. (context) - Pixley - 1988
11 A mechanically verified incremental garbage collector (context) - Russinoff - 1994
10 Mechanical verification of a garbage collector - Havelund - 1996
9 Generating finite-state abstractions of reactive systems usi.. (context) - Col'on, Uribe - 1998
7 Verification of cache coherence protocols by aggregation of .. - Park, Dill - 1998
5 Automatic verification of parameterized networks of processe.. (context) - Lessens, Saidi - 1997
1 on Principles of Programming Languages (context) - Emerson, Namjoshi et al. - 1995
1 Algorithms for on-the-fly garbage collection revisited (context) - Snepscheut - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://verify.stanford.edu/spark/publications.html):
Computer Assisted Analysis Of Multiprocessor Memory Systems - Park (1996) (Correct)
Automatic Checking of Aggregation Abstractions Through State.. - Park, Das, Dill (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