M. Dwyer, J. Hatcli#, R. Joehanes, S. Laubach, C. Pasareau, W. Visser, H. Zheng. Tool-supported Program Abstraction for Finite-state Verification. Proc. Int. Conf. on Software Engineering, ICSE 2001, 2001. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Software Construction and Analysis Tools for Future Space Missions - Lowry (2001) (2 citations) (Correct)
Modular Verification of Software Components in C - Chaki, Clarke, Groce, Jha.. (2003) (26 citations) (Correct)
Automatic Predicate Abstraction of C Programs - Ball, Majumdar, Millstein.. (2001) (93 citations) (Correct)
A Modular Checker for Multithreaded Programs - Flanagan, Qadeer, Seshia (2002) (6 citations) (Correct)
αSPIN: Extending SPIN with Abstraction - Gallardo, Martinez, Merino.. (2002) (Correct)
Using Abstractions for Heuristic State Space Exploration of.. - Lettrari (Correct)
From Running Code to Event-Graphs: A pragmatic approach to .. - Rodrigues, Rodrigues (2004) (Correct)
Points-to Analysis using BDDs - Berndl, Lhoták, Qian, Hendren, Umanee (2002) (20 citations) (Correct)
Modular Verification of Software Components in C - Chaki, Clarke, Groce, Jha.. (2004) (26 citations) (Correct)
Points-to Analysis using BDDs - Berndl, Lhoták, Qian.. (2003) (20 citations) (Correct)
Efficient Verification of Sequential and Concurrent C.. - Chaki, Clarke, Groce, .. (2004) (1 citation) (Correct)
Software Tools for Technology Transfer manuscript No. - Will Be Inserted (Correct)
A Counter Example Guided Abstraction Refinement Framework for.. - Chaki (2002) (Correct)
Automated Environment Generation for Software Model Checking - Tkachuk, Dwyer, Pasareanu (2003) (5 citations) Self-citation (Dwyer Pasareanu) (Correct)
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) Self-citation (Visser) (Correct)
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) Self-citation (Dwyer) (Correct)
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) Self-citation (Dwyer) (Correct)
Software Verification for Programmable Logic Controllers - Huuck (2003) Self-citation (Willem) (Correct)
Heuristics for Model Checking Java Programs - Groce, Visser (2002) (7 citations) Self-citation (Visser) (Correct)
Invariant-based Specification, Synthesis, and.. - Deng, Dwyer.. (2001) Self-citation (Dwyer Hatcliff) (Correct)
Program Model Checking as a New Trend - Havelund, Visser (2000) (1 citation) Self-citation (Willem) (Correct)
Model Checking Java Programs using Structural Heuristics - Groce, Visser (2002) (14 citations) Self-citation (Visser) (Correct)
Program Model Checking as a New Trend - Havelund, Visser (2000) (1 citation) Self-citation (Willem) (Correct)
Automatic Derivation, Integration and Verification.. - Dwyer, Hatcliff.. (2001) Self-citation (Dwyer Hatcliff) (Correct)
Finding Feasible Counter-examples when Model Checking.. - Pasareanu, Dwyer, Visser (2001) (8 citations) Self-citation (Dwyer Pasareanu Visser) (Correct)
Finding Feasible Counter-examples when Model Checking.. - Pasareanu, Dwyer, Visser (2001) (8 citations) Self-citation (Dwyer Pasareanu Visser) (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