Gerard J. Holzmann  Home/Search
Context Related
| belllabs.com/cm/cs/who/ge...pstv87.pdf 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/cm/cs/who/ger...abs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is not likely that many traveling salesmen can be discouraged from their job by a lecture on its complexity [9]. Not surprisingly, writers of automated protocol analyzers are much the same. The problem of determining whether an arbitrary message passing system contains deadlocks is PSPACE-complete at best (for bounded queue lengths) [7-9]. Yet for any given formal analysis model it is easy to derive state space exploration routines that can find such errors with certainty -- given a... (Update)
Context of citations to this paper: More
...expanding states. Just as for a single agent search, memory is the limiting resource. Therefore, Holzmann suggested bitstate hashing [Hol87]: instead of storing the complete state, only a single bit corresponding to the hash value is set, indicating that this state has been...
...approach aims at reducing the amount of memory needed to perform the reachability analysis. Examples of this approach are bitstate hashing [Holz87], hash compaction [WL93, SD95] etc. The use of distributed processing to combat the state explosion problem had gained interest in...
Cited by: More
Probabilistic State Space Search - Andreas Kuehlmann Ibm (1999) (Correct)
UPPAAL Implementation Secrets - Behrmann, Bengtsson, David, Larsen.. (2002) (Correct)
A Tool Architecture for the Next Generation of UPPAAL - David, Behrmann, Larsen, Yi (2003) (Correct)
Similar documents (at the sentence level):
25.4%: An Improved Protocol Reachability Analysis Technique - Holzmann (1988) (Correct)
Active bibliography (related documents): More All
1.4: Automated Protocol Validation in Argos , assertion proving and.. - Holzmann (1987) (Correct)
1.0: Tracing Protocols - Holzmann (1985) (Correct)
0.3: Backward Symbolic Execution of Protocols - Holzmann (1984) (Correct)
Similar documents based on text: More All
0.3: Coverage Preserving Reduction Strategies for.. - Holzmann, Godefroid.. (1992) (Correct)
0.2: Algorithms for Automated Protocol Validation - Holzmann (1988) (Correct)
0.2: Piggyback Cache Validation for Proxy Caches in the World Wide .. - Krishnamurthy, Wills (1997) (Correct)
Related documents from co-citation: More All
15: The Design and Validation of Computer Protocols (context) - Holzmann - 1991
15: Reliable hashing without collision detection - Wolper, Leroy - 1993
10: An improved protocol reachability analysis technique - Holzmann - 1988
BibTeX entry: (Update)
G. J. Holzmann. On limits and possibilities of automated protocol analysis. In Protocol Specification, Testing, and Verification. 7th International Conference, pages 339--44, 1987. http://citeseer.ist.psu.edu/holzmann87limits.html More
@inproceedings{ holzmann87limits,
author = "G.J. Holzmann",
title = "On Limits and Possibilities of Automated Protocol Analysis",
booktitle = "Proc. 6th Int. Conf on Protocol Specification, Testing, and Verification, {INWG}/{IFIP}",
month = "June",
address = "Zurich, Sw.",
editor = "H. Rudin and C. West",
year = "1987",
url = "citeseer.ist.psu.edu/holzmann87limits.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
572 Computers and intractability (context) - Garey, Johnson - 1979
484 A Calculus for Communicating Systems (context) - Milner - 1980
120 A note on reliable full-duplex transmission over half-duplex.. (context) - Bartlett, Scantlebury et al. - 1969
63 Automatic verification of sequential circuits using temporal.. (context) - Browne, Clarke et al. - 1986
23 Toward analyzing and synthesizing protocols (context) - Zafiropulo, West et al. - 1980
20 Automated Protocol Validation in Argos, assertion proving an.. - Holzmann - 1987
14 Formal methods in communication protocol design (context) - Bochmann, Sunshine - 1980
11 Tracing Protocols - Holzmann - 1985
7 A Theory for protocol validation - Holzmann - 1982
7 The Pandora system -- an interactive system for the design o.. (context) - Holzmann - 1984
6 Synthesis of protocols for an unlimited number of processes (context) - Brand, Zafiropulo - 1980
6 Verification of protocols using symbolic execution (context) - Brand, Joyner - 1978
6 A synchronization calculus for message oriented programming (context) - Cunha, Maibaum - 1981
6 Applications and limitations of automated protocol validatio.. (context) - West - 1982
3 On finding deadlocks in protocols (context) - DeTreville - 1982
1 Workshop on Protocol Specification (context) - Aggarwal, Kurshan - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cm.bell-labs.com/cm/cs/who/gerard/abs.html): More
Software Model Checking - Extracting Verification Models - Holzmann, Smith (1999) (Correct)
An Improved Protocol Reachability Analysis Technique - Holzmann (1988) (Correct)
Automating Software Feature Verification - Holzmann, Smith (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