JPH0320186B2 - - Google Patents

Info

Publication number
JPH0320186B2
JPH0320186B2 JP60030208A JP3020885A JPH0320186B2 JP H0320186 B2 JPH0320186 B2 JP H0320186B2 JP 60030208 A JP60030208 A JP 60030208A JP 3020885 A JP3020885 A JP 3020885A JP H0320186 B2 JPH0320186 B2 JP H0320186B2
Authority
JP
Japan
Prior art keywords
state
protocol
signal
channel
transition
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.)
Expired - Lifetime
Application number
JP60030208A
Other languages
English (en)
Japanese (ja)
Other versions
JPS61191145A (ja
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 JP60030208A priority Critical patent/JPS61191145A/ja
Priority to CA000484679A priority patent/CA1224880A/en
Priority to US06/749,591 priority patent/US4694422A/en
Publication of JPS61191145A publication Critical patent/JPS61191145A/ja
Publication of JPH0320186B2 publication Critical patent/JPH0320186B2/ja
Granted legal-status Critical Current

Links

Landscapes

  • Debugging And Monitoring (AREA)
  • Communication Control (AREA)
  • Maintenance And Management Of Digital Transmission (AREA)
JP60030208A 1984-12-25 1985-02-20 無限オ−バフロ−検出を含むプロトコル論理検証方式 Granted JPS61191145A (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP60030208A JPS61191145A (ja) 1985-02-20 1985-02-20 無限オ−バフロ−検出を含むプロトコル論理検証方式
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
JP60030208A JPS61191145A (ja) 1985-02-20 1985-02-20 無限オ−バフロ−検出を含むプロトコル論理検証方式

Publications (2)

Publication Number Publication Date
JPS61191145A JPS61191145A (ja) 1986-08-25
JPH0320186B2 true JPH0320186B2 (enrdf_load_stackoverflow) 1991-03-18

Family

ID=12297313

Family Applications (1)

Application Number Title Priority Date Filing Date
JP60030208A Granted JPS61191145A (ja) 1984-12-25 1985-02-20 無限オ−バフロ−検出を含むプロトコル論理検証方式

Country Status (1)

Country Link
JP (1) JPS61191145A (enrdf_load_stackoverflow)

Also Published As

Publication number Publication date
JPS61191145A (ja) 1986-08-25

Similar Documents

Publication Publication Date Title
Ben-Abdallah et al. Syntactic detection of process divergence and non-local choice in message sequence charts
US6405361B1 (en) Automatically generating a program
US7003779B2 (en) Hierarchical connected graph model for implementation of event management design
US20050160431A1 (en) Method and mechanism for debugging a series of related events within a computer system
CN110442459A (zh) 分布式死锁检测方法及装置、计算机设备及可读介质
JPH07307771A (ja) プロトコルの論理検証方法
CN111367786A (zh) 一种符号执行方法、电子设备以及存储介质
CN113360300B (zh) 接口调用链路生成方法、装置、设备及可读存储介质
US6954925B1 (en) Method of parsing commands using linear tree representation
US4694422A (en) Protocol validation system
US6516306B1 (en) Model checking of message flow diagrams
CN108512675A (zh) 一种网络诊断的方法、装置、控制节点和网络节点
US20230336410A1 (en) Method and apparatus for configuring node
JPH0458743B2 (enrdf_load_stackoverflow)
CN111754348A (zh) 场景化组合交易方法及装置
JPH0320186B2 (enrdf_load_stackoverflow)
CN114095310B (zh) 物联网智能网关云边协同管理方法、装置、设备及介质
CN115269249A (zh) Can报文刷写失败分析方法、装置、电子设备和存储介质
US10067816B2 (en) Model checking apparatus and method, and storage medium having program stored therein
CN116208475A (zh) It服务跟踪方法及装置、存储介质及电子设备
CN112817613A (zh) 插件数据的删除方法、服务器、电子设备和存储介质
WO2019179392A1 (zh) 报文的生成方法及相关设备
CN111476663B (zh) 一种数据处理方法、装置、节点设备及存储介质
CN114726717B (zh) 用于配置节点的方法和装置
Denker et al. Specifying a reliable broadcasting protocol in Maude