A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol Shin'ichi NAGANOYoshiaki KAKUDATohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-ANo. 4 ;
pp. 596-604 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: communication protocol, responsiveness, verification, virtual system state, reachability analysis,