Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/11/01 Vol. E85-ANo. 11 ;
pp. 2414-2425 Type of Manuscript: Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems) Category: Keyword: symbolic model checking, fault tolerance, SMV, concurrent system, guarded command,
Symbolic Model Checking of Deadlock Free Property of Task Control Architecture Hiromi HIRAISHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/10/01 Vol. E85-DNo. 10 ;
pp. 1579-1586 Type of Manuscript: Special Section PAPER (Special Issue on Test and Verification of VLSI) Category: Verification Keyword: verification, symbolic model checking, deadlock, robot control program, concurrent process,