Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury  Home/Search
Context
Related
| bu.edu/techreports...olcompositions.ps bu.edu/techreports...compositions.ps.Z 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: bu.edu/techreports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal tools like finite-state model checkers have proven useful in verifying the correctness of systems of bounded size and for hardening single system components against arbitrary inputs. However, conventional applications of these techniques are not well suited to characterizing emergent behaviors of large compositions of processes. In this paper, we present a methodology by which arbitrarily large compositions of components can, if sufficient conditions are proven concerning properties of... (Update)
Similar documents (at the sentence level):
76.6%: Validating Arbitrarily Large Network Protocol.. - Bradley, Bestavros.. (2002) (Correct)
12.7%: Systematic Verification of Safety Properties of.. - Bradley, Bestavros.. (2003) (Correct)
Active bibliography (related documents): More All
0.5: Safe Composition of Web Communication Protocols for.. - Bradley, Bestavros.. (2002) (Correct)
0.2: Supporting Strong Coherency for Active Caches in.. - Narravula Balaji.. (2004) (Correct)
0.2: Architecture for Caching Responses with Multiple.. - Narravula Balaji.. (Correct)
Similar documents based on text: More All
0.3: StaXML: Static Typing of XML Document Fragments for.. - Bradley, Kfoury.. (2004) (Correct)
0.3: Basis Token Consistency - Extending and Evaluating a Novel.. - Bradley, Bestavros (2002) (Correct)
0.2: Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (2000) (Correct)
BibTeX entry: (Update)
@misc{ bradley-validating,
author = "Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury",
title = "Validating Arbitrarily Large Network Protocol Compositions with Finite
Computation",
url = "citeseer.ist.psu.edu/article/bradley02validating.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
375 IEEE Transactions on Software Engineering (context) - Holzmann, checker - 1997
270 Bandera: Extracting finite-state models from Java source cod.. - Corbett, Dwyer et al. - 2000
236 Hypertext transfer protocol -- HTTP - Fielding, Gettys et al. - 1999
236 Hypertext transfer protocol -- HTTP - Fielding, Gettys et al. - 1997
139 introduction to inputoutput automata (context) - Lynch, An et al. - 1989
135 Partial-order methods for the verification of concurrent sys.. - Godefroid - 1996
124 The case for persistent-connection HTTP (context) - Mogul - 1995
98 Forward and backward simulation -- part II: Timing-based sys.. - Lynch, Vaandrager - 1995
63 Hypertext transfer protocol -- HTTP (context) - Berners-Lee, Fielding et al.
53 Coverage preserving reduction strategies for reachability an.. - Holzmann, Godefroid et al. - 1992
47 A practical method for verifying event-driven software (context) - Holzmann, Smith - 1999
46 A performance evaluation of hyper text transfer protocols - Barford, Crovella - 1998
39 Types as models: Model checking message-passing programs - Chaki, Rajamani et al. - 2002
34 Software model checking: Extracting verification models from.. - Holzmann, Smith - 1999
12 Key differences between HTTP (context) - Krishnamurthy, Mogul et al. - 1999
11 From code to models - Holzmann - 2001
10 Basis token consistency: Supporting strong web cache consist.. - Bradley, Bestavros - 2002
10 Safe composition of web communication protocols for extensib.. - Bradley, Bestavros et al. - 2002
10 Safe composition of web communication protocols for extensib.. - Bradley, Bestavros et al. - 2002
9 Basis token consistency: Extending and evaluating a novel we.. - Bradley, Bestavros - 2002
9 Designing bug-free protocols with SPIN - Holzmann - 1997
4 Distributing MPEG movies over the internet using programmabl.. - He, Muller et al. - 2002
2 Scalabel kernel performance for internet servers under reali.. (context) - Banga, Mogul - 1998
Documents on the same site (http://www.cs.bu.edu/techreports/): More
Connection Scheduling in Web Servers - Crovella, Frangioso, Harchol-Balter (1999) (Correct)
Measuring Web Performance in the Wide Area - Barford, Crovella (1999) (Correct)
A Fully Distributed Location Management Scheme for Large PCS - Ratnam, Matta, Rangarajan (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