Kedar S. Namjoshi, Richard J. Trefler  Home/Search
Context Related
| belllabs.com/who/...v2000_compos.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: belllabs.com/who/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Several proof rules based on the assume-guarantee paradigm have been proposed for compositional reasoning about concurrent systems. (Update)
Similar documents based on text: More All
0.6: Assume-Guarantee Based Compositional Reasoning for.. - Amla, Emerson.. (Correct)
0.3: Efficient Decompositional Model-Checking for Regular.. - Amla, Emerson, Namjoshi (1999) (Correct)
0.3: Reasoning about Rings - Emerson, Namjoshi (1995) (Correct)
BibTeX entry: (Update)
K.S. Namjoshi and R.J. Tre er. On the completeness of compositional reasoning. In CAV, volume 1855 of LNCS. Springer-Verlag, 2000. http://citeseer.ist.psu.edu/namjoshi00completeness.html More
@inproceedings{ namjoshi00completeness,
author = "Kedar S. Namjoshi and Richard J. Trefler",
title = "On the completeness of compositional reasoning",
booktitle = "Proceedings of the 12th Int. Conference on Computer Aided Verification (CAV2000)",
number = "1855",
publisher = "Spring{\-}er-Ver{\-}lag",
pages = "139--153",
year = "2000",
url = "citeseer.ist.psu.edu/namjoshi00completeness.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
650 An axiomatic basis for computer programming (context) - Hoare - 1969
539 The temporal logic of programs (context) - Pnueli - 1977
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
374 Automata on infinite objects (context) - Thomas - 1990
221 Specification and verification of concurrent systems in CESA.. (context) - Queille, Sifakis - 1982
194 the development of reactive systems (context) - Harel, Pnueli - 1985
191 Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
121 Compositional model checking - Clarke, Long et al. - 1989
108 Reactive modules - Alur, Henzinger - 1996
103 The glory of the past (context) - Lichtenstein, Pnueli et al. - 1985
75 IEEE Transactions on Software Engineering (context) - Chandy, Misra et al. - 1981
46 Verification of an implementation of Tomasulo's algorithm by.. (context) - McMillan - 1998
45 on Programming Languages and Systems (context) - Abadi, Lamport et al. - 1995
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bell-labs.com/who/kedar/publications.html): More
Model Checking Synchronous Timing Diagrams - Amla, Emerson, Kurshan, Namjoshi (2000) (Correct)
On Model Checking for Non-Deterministic Infinite-State Systems - Emerson, Namjoshi (1998) (Correct)
Syntactic Program Transformations for Automatic Abstraction - Namjoshi, Kurshan (2000) (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