| 
|
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 >
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.
Topic: communication protocols (61 items)