IEICE TRANSACTIONS on transactions
Protocol Verification Algorithm Using Reduced Reachability Analysis
Summary :
An extended state transition model and verification algorithm are proposed for specification and verification of protocols. The state transition model is an extention of Zafiropulo's two process protocol model to specify protocols designed for communication between more than two processes. A concept of
- Publication
- IEICE TRANSACTIONS on transactions Vol.E66-E No.2 pp.88-93
- Publication Date
- 1983/02/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- PAPER
- Category
- Protocol
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Masaki ITOH, Haruhisa ICHIKAWA, "Protocol Verification Algorithm Using Reduced Reachability Analysis" in IEICE TRANSACTIONS on transactions,
vol. E66-E, no. 2, pp. 88-93, February 1983, doi: .
Abstract: An extended state transition model and verification algorithm are proposed for specification and verification of protocols. The state transition model is an extention of Zafiropulo's two process protocol model to specify protocols designed for communication between more than two processes. A concept of
URL: https://global.ieice.org/en_transactions/transactions/10.1587/e66-e_2_88/_p
Copy
@ARTICLE{e66-e_2_88,
author={Masaki ITOH, Haruhisa ICHIKAWA, },
journal={IEICE TRANSACTIONS on transactions},
title={Protocol Verification Algorithm Using Reduced Reachability Analysis},
year={1983},
volume={E66-E},
number={2},
pages={88-93},
abstract={An extended state transition model and verification algorithm are proposed for specification and verification of protocols. The state transition model is an extention of Zafiropulo's two process protocol model to specify protocols designed for communication between more than two processes. A concept of
keywords={},
doi={},
ISSN={},
month={February},}
Copy
TY - JOUR
TI - Protocol Verification Algorithm Using Reduced Reachability Analysis
T2 - IEICE TRANSACTIONS on transactions
SP - 88
EP - 93
AU - Masaki ITOH
AU - Haruhisa ICHIKAWA
PY - 1983
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E66-E
IS - 2
JA - IEICE TRANSACTIONS on transactions
Y1 - February 1983
AB - An extended state transition model and verification algorithm are proposed for specification and verification of protocols. The state transition model is an extention of Zafiropulo's two process protocol model to specify protocols designed for communication between more than two processes. A concept of
ER -
English
