Michael Lowry, M. Subramaniam  Home/Search
Context Related
| nasa.gov/ic/projects/amp...mike_subu.ps nasa.gov/docs/../papers/...mike_subu.ps 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: nasa.gov/ic/projects/amph...vandv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion For Analytic Verification of Concurrent Software Systems Michael Lowry 1 and M. Subramaniam 2 1 Computational Sciences Division, Code IC, MS 269-2 NASA Ames Research Centre Mofett Field, CA 94035 lowry@ptolemy.arc.nasa.gov 2 Recom Technologies, Computational Sciences Division, Code IC, NASA Ames Research Center, Mofett Field, CA subu@ptolemy.arc.nasa.gov Abstract. This paper describes methods towards automatically generating abstract models of complex software systems. The... (Update)
Context of citations to this paper: More
...basis; but the correctness of the resulting abstraction is guaranteed. A related method for generating abstract systems is presented in [40], intended for the practical analysis and debugging of complex software systems. These finite state abstractions can be used to...
Cited by: More
Combinations of Model Checking and Theorem Proving - Uribe (2000) (Correct)
Active bibliography (related documents): More All
0.5: Model Checking Java Programs Using Java PathFinder - Havelund, Pressburger (1999) (Correct)
0.2: Program Adaptation via Output-Constraint Specialization - Khoo, Shi (Correct)
0.2: Output-Constraint Specialization - Khoo, Shi (Correct)
Similar documents based on text: More All
0.2: Meta-Amphion: Scaling up High-Assurance Deductive Program.. - Roach, al. (1997) (Correct)
0.2: Transformation Systems at NASA Ames - Buntine, Fischer, Havelund, Lowry, .. (1999) (Correct)
0.2: Automating Software Reuse - Keywords Software Reuse (Correct)
BibTeX entry: (Update)
M. Lowry and M. Subramaniam. Abstraction for analytic verification of concurrent software systems. In Symp. on Abstraction, Reformulation, and Approx., May 1998. http://citeseer.ist.psu.edu/lowry98abstraction.html More
@misc{ lowry98abstraction,
author = "M. Lowry and M. Subramaniam",
title = "Abstraction for analytic verification of concurrent software systems",
text = "M. Lowry and M. Subramaniam. Abstraction for analytic verification of concurrent
software systems. In Symp. on Abstraction, Reformulation, and Approx., May
1998.",
year = "1998",
url = "citeseer.ist.psu.edu/lowry98abstraction.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986 ACM DBLP
297 Symbolic Model Checking (context) - McMillan - 1993 ACM DBLP
231 Model Checking and Abstraction - Clarke, Grumberg et al. - 1992 ACM DBLP
96 Expressing Interesting Properties of Programs in proposition.. (context) - Wolper - 1986
56 Verification of Arithmetic Circuits with Binary Moment Diagr.. - Bryant, Chen - 1995 ACM DBLP
53 Formal analysis of a space craft controller using Spin - Havelund, Lowry et al. - 1997
24 The State of SPIN (context) - Holzmann, Peled ACM DBLP
18 Abstract Model checking of infinite specifications (context) - Jackson - 1994 ACM DBLP
8 State Reduction Methods for Automatic Formal Verification - Ip - 1996 ACM
6 Verification and validation of AI systems that control deep-.. (context) - Lowry, Havelund et al. - 1997 ACM DBLP
4 Program Slicing using Weakest Preconditions (context) - Comuzzi, Hart - 1996 ACM DBLP
3 Springer Verlag LNCS (context) - Conference, Aided et al.
3 Springer Verlag LNCS (context) - Conference, Aided et al.
3 Springer Verlag LNCS (context) - Conference, Aided et al.
2 Translating Java to Spin (context) - Havelund, Pressburger
1 Constructing Abstract Graphs Using PVS (context) - Graf, Saidi
1 Using Partial Orders to improve automatic verification metho.. (context) - Godfroid - 1990 ACM DBLP
1 Using formal verification/analyses methods on the critical p.. (context) - Th, Mcmillan - 1995
1 A tool for symbolic verification and abstraction (context) - Graf
Documents on the same site (http://ic-www.arc.nasa.gov/ic/projects/amphion/docs/vandv.html): More
Verification and Validation of AI Systems . . . - Lowry (1997) (Correct)
Using Model Checking to Validate AI Planner Domain Models - Penix, Pecheur, Havelund (1998) (Correct)
Formal Analysis of a Space Craft Controller using SPIN - Havelund, Lowry, Penix (1998) (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