BibTeX
@ARTICLE{Holzmann87tracingprotocols,
author = {Gerard J. Holzmann},
title = {Tracing Protocols},
journal = {AT&T TECHNICAL JOURNAL},
year = {1987},
volume = {64},
pages = {2413--2434}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Automated protocol validation tools are by necessity often based on some form of symbolic execution. The complexity of the analysis problem however imposes restrictions on the scope of these tools. The paper studies the nature of these restrictions and explicitly addresses the problem of finding errors in data communication protocols of which the size precludes analysis by traditional means. The protocol
