JPS61150547A - プロトコルの論理検証方式 - Google Patents

プロトコルの論理検証方式

Info

Publication number
JPS61150547A
JPS61150547A JP59271938A JP27193884A JPS61150547A JP S61150547 A JPS61150547 A JP S61150547A JP 59271938 A JP59271938 A JP 59271938A JP 27193884 A JP27193884 A JP 27193884A JP S61150547 A JPS61150547 A JP S61150547A
Authority
JP
Japan
Prior art keywords
state
transition
protocol
expansion
block
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP59271938A
Other languages
English (en)
Japanese (ja)
Other versions
JPH0313779B2 (https=
Inventor
Yoshiaki Tsunoda
良明 角田
Yasushi Wakahara
若原　恭
Masamitsu Norikoshi
乗越　雅光
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
KDDI Corp
Original Assignee
Kokusai Denshin Denwa KK
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Kokusai Denshin Denwa KK filed Critical Kokusai Denshin Denwa KK
Priority to JP59271938A priority Critical patent/JPS61150547A/ja
Priority to CA000484679A priority patent/CA1224880A/en
Priority to US06/749,591 priority patent/US4694422A/en
Publication of JPS61150547A publication Critical patent/JPS61150547A/ja
Publication of JPH0313779B2 publication Critical patent/JPH0313779B2/ja
Granted legal-status Critical Current

Links

Landscapes

  • Detection And Prevention Of Errors In Transmission (AREA)
  • Communication Control (AREA)
  • Maintenance And Management Of Digital Transmission (AREA)
  • Debugging And Monitoring (AREA)
JP59271938A 1984-12-25 1984-12-25 プロトコルの論理検証方式 Granted JPS61150547A (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP59271938A JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式
CA000484679A CA1224880A (en) 1984-12-25 1985-06-20 Protocol validation system
US06/749,591 US4694422A (en) 1984-12-25 1985-06-24 Protocol validation system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP59271938A JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式

Publications (2)

Publication Number Publication Date
JPS61150547A true JPS61150547A (ja) 1986-07-09
JPH0313779B2 JPH0313779B2 (https=) 1991-02-25

Family

ID=17506927

Family Applications (1)

Application Number Title Priority Date Filing Date
JP59271938A Granted JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式

Country Status (1)

Country Link
JP (1) JPS61150547A (https=)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9140481B2 (en) 2012-04-02 2015-09-22 Whirlpool Corporation Folded vacuum insulated structure
US9689604B2 (en) 2014-02-24 2017-06-27 Whirlpool Corporation Multi-section core vacuum insulation panels with hybrid barrier film envelope

Also Published As

Publication number Publication date
JPH0313779B2 (https=) 1991-02-25

Similar Documents

Publication Publication Date Title
Alur et al. Automatic symbolic verification of embedded systems
Devillers et al. Verification of a leader election protocol: Formal methods applied to IEEE 1394
US5491639A (en) Procedure for verifying data-processing systems
JP2011060267A (ja) 設計検証プログラム、設計検証方法および設計検証装置
Zhang et al. An interactive protocol synthesis algorithm using a global state transition graph
Sunshine Formal Modeling of Communication Protocols: State of the Art, October 1980
US20020052726A1 (en) Performance simulation apparatus, performance simulation method, and recording medium containing performance simulation program
JPH04246776A (ja) タイミング情報を編成し解析する方法及び装置
US20060130000A1 (en) System and method for operating systems
CN110490742B (zh) 一种区块链中的交易执行方法及装置
CN113671924B (zh) Dcs实时值置值方法和系统、设备及存储介质
CN113744062B (zh) 在区块链中执行交易的方法、区块链节点和区块链
KR20010071116A (ko) 소프트웨어의 생성장치 및 소프트웨어의 생성방법
JPS61150547A (ja) プロトコルの論理検証方式
JPH0458743B2 (https=)
US6505149B1 (en) Method and system for verifying a source-synchronous communication interface of a device
CN112000671A (zh) 基于区块链的数据库表处理方法、装置及系统
US7472207B2 (en) Optimized-incrementing, time-gap defect detection apparatus and method
Kleuker A gentle introduction to specification engineering using a case study in telecommunications
US5446892A (en) Method of and apparatus for re-allocating programs in a distributed programming system
Morbé et al. Fully symbolic TCTL model checking for incomplete timed systems
US6466646B1 (en) Method for verifying the proper functioning of a system
CN117893638B (zh) 融合状态机的时序图生成方法、装置、设备及存储介质
Bérard et al. Synthesis in presence of dynamic links
Kakuda et al. Automated synthesis of protocol specifications with message collisions and verification of timeliness