Boots – shoes – and leggings
Patent
1985-06-24
1987-09-15
Zache, Raulfe B.
Boots, shoes, and leggings
G06F 100
Patent
active
046944222
ABSTRACT:
A communication protocol validation system which produces a state transition expansion chart having a plurality of states and a plurality of transitions between states in electrical form to find errors such as an unspecified executable transition, a specified unexecutable transition and a deadlock has been improved by providing new error items of a bounded overflow and an unbounded overflow and deleting redundant transitions. Thus, a number of states and a number of transitions in the chart are reduced, and the validation is implemented by using a reasonable amount of hardware in a reasonable time.
REFERENCES:
patent: 4368512 (1983-01-01), Kyu et al.
"On Communication Finite-State Machines", Journal of the Association for Computing Machinery, vol. 30, No. 2, Apr. 1983, pp. 323-342.
"General Technique for Communications Protocol Validation", IBM J. Res. Develop., vol. 22, No. 4, Jul. 1978, pp. 393-404.
Kakuda Yoshiaki
Norigoe Masamitsu
Wakahara Yasushi
Kokusai Denshin Denwa Co. Ltd.
Zache Raulfe B.
LandOfFree
Protocol validation system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Protocol validation system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Protocol validation system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1389864