Keyword : virtual system state

A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
Shin'ichi NAGANO Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 596-604
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
communication protocolresponsivenessverificationvirtual system statereachability analysis
 Summary | Full Text:PDF