| 
|
Quote: used SPIN to develop a retransmission protocol; 65 lines test code, all errors identified, 1/5 the development time
topics >
all references >
references i-l >
Topic:
model checker
Quotation Skeleton
The retransmission protocol (a simple sliding window protocol … 65 lines. Once debugged, the retransmission protocol was … The retransmission protocol in the earlier implementation required … required 2 days. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)