Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-BNo. 10pp. 1008-1014 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: verification, knowledge base, object-oriented, simulation, switching software,