Verification of Switching Software by Knowledge Processing Technology

Mitsuaki KAKEMIZU; Yasuo IWAMI; Yoshiharu SATO; Shimmi HATTORI

Verification of Switching Software by Knowledge Processing Technology

Mitsuaki KAKEMIZU, Yasuo IWAMI, Yoshiharu SATO, Shimmi HATTORI

Full Text Views

0

Cite this

Summary :

To develop highly reliable switching software efficiently, a more powerful computer-aided verification system is needed. In this paper, we present an object-oriented switching software verification system, focusing on the basic concept and verification method. The system consists of three basic functions: a model of the switching system, a simulation control mechanism, and a verification mechanism. We also give our evaluation of this system.

Publication: IEICE TRANSACTIONS on Communications Vol.E75-B No.10 pp.1008-1014

Publication Date: 1992/10/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies)

Category

Cite this

Copy

Mitsuaki KAKEMIZU, Yasuo IWAMI, Yoshiharu SATO, Shimmi HATTORI, "Verification of Switching Software by Knowledge Processing Technology" in IEICE TRANSACTIONS on Communications, vol. E75-B, no. 10, pp. 1008-1014, October 1992, doi: .
Abstract: To develop highly reliable switching software efficiently, a more powerful computer-aided verification system is needed. In this paper, we present an object-oriented switching software verification system, focusing on the basic concept and verification method. The system consists of three basic functions: a model of the switching system, a simulation control mechanism, and a verification mechanism. We also give our evaluation of this system.
URL: https://global.ieice.org/en_transactions/communications/10.1587/e75-b_10_1008/_p

Copy

@ARTICLE{e75-b_10_1008,
author={Mitsuaki KAKEMIZU, Yasuo IWAMI, Yoshiharu SATO, Shimmi HATTORI, },
journal={IEICE TRANSACTIONS on Communications},
title={Verification of Switching Software by Knowledge Processing Technology},
year={1992},
volume={E75-B},
number={10},
pages={1008-1014},
abstract={To develop highly reliable switching software efficiently, a more powerful computer-aided verification system is needed. In this paper, we present an object-oriented switching software verification system, focusing on the basic concept and verification method. The system consists of three basic functions: a model of the switching system, a simulation control mechanism, and a verification mechanism. We also give our evaluation of this system.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - Verification of Switching Software by Knowledge Processing Technology
T2 - IEICE TRANSACTIONS on Communications
SP - 1008
EP - 1014
AU - Mitsuaki KAKEMIZU
AU - Yasuo IWAMI
AU - Yoshiharu SATO
AU - Shimmi HATTORI
PY - 1992
DO -
JO - IEICE TRANSACTIONS on Communications
SN -
VL - E75-B
IS - 10
JA - IEICE TRANSACTIONS on Communications
Y1 - October 1992
AB - To develop highly reliable switching software efficiently, a more powerful computer-aided verification system is needed. In this paper, we present an object-oriented switching software verification system, focusing on the basic concept and verification method. The system consists of three basic functions: a model of the switching system, a simulation control mechanism, and a verification mechanism. We also give our evaluation of this system.
ER -