Map
Index
Random
Help
th

Quote: with state vectors, can validate protocols of millions of states in a couple of minutes; uses exhaustive and partial searching

topics > all references > references g-h > QuoteRef: holzGJ2_1988 , p. 152



Topic:
communication protocols

Quotation Skeleton

The performance of automated protocol validation systems is … more general use. With the validation techniques [based on state vectors] discussed in this paper, protocol descriptions generating in the order … machine (VAX-11/750). … The method smoothly transfers from exhaustive searching to … conditions.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: communication protocols (61 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.