JPS6171750A - プロトコル検証回路 - Google Patents

プロトコル検証回路

Info

Publication number
JPS6171750A
JPS6171750A JP59192491A JP19249184A JPS6171750A JP S6171750 A JPS6171750 A JP S6171750A JP 59192491 A JP59192491 A JP 59192491A JP 19249184 A JP19249184 A JP 19249184A JP S6171750 A JPS6171750 A JP S6171750A
Authority
JP
Japan
Prior art keywords
transition
global
block
state
transitions
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
JP59192491A
Other languages
English (en)
Japanese (ja)
Other versions
JPH0458743B2 (https=
Inventor
Yasushi Wakahara
若原　恭
Yoshiaki Tsunoda
良明 角田
Masamitsu Norikoshi
乗越　雅光
Toshichika Oda
稔周 小田
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 JP59192491A priority Critical patent/JPS6171750A/ja
Priority to CA000476656A priority patent/CA1218464A/en
Publication of JPS6171750A publication Critical patent/JPS6171750A/ja
Priority to US07/106,030 priority patent/US4754400A/en
Publication of JPH0458743B2 publication Critical patent/JPH0458743B2/ja
Granted legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogram communication
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Communication Control (AREA)
  • Computer And Data Communications (AREA)
  • Maintenance And Management Of Digital Transmission (AREA)
JP59192491A 1984-09-17 1984-09-17 プロトコル検証回路 Granted JPS6171750A (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP59192491A JPS6171750A (ja) 1984-09-17 1984-09-17 プロトコル検証回路
CA000476656A CA1218464A (en) 1984-09-17 1985-03-15 Protocol validation system
US07/106,030 US4754400A (en) 1984-09-17 1987-10-08 Protocol validation system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP59192491A JPS6171750A (ja) 1984-09-17 1984-09-17 プロトコル検証回路

Publications (2)

Publication Number Publication Date
JPS6171750A true JPS6171750A (ja) 1986-04-12
JPH0458743B2 JPH0458743B2 (https=) 1992-09-18

Family

ID=16292186

Family Applications (1)

Application Number Title Priority Date Filing Date
JP59192491A Granted JPS6171750A (ja) 1984-09-17 1984-09-17 プロトコル検証回路

Country Status (3)

Country Link
US (1) US4754400A (https=)
JP (1) JPS6171750A (https=)
CA (1) CA1218464A (https=)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9208151B2 (en) 2011-10-25 2015-12-08 International Business Machines Corporation Method, program, and system for specification verification

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5133074A (en) * 1989-02-08 1992-07-21 Acer Incorporated Deadlock resolution with cache snooping
CA2011807C (en) * 1989-03-20 1999-02-23 Katsumi Hayashi Data base processing system using multiprocessor system
US5826017A (en) * 1992-02-10 1998-10-20 Lucent Technologies Apparatus and method for communicating data between elements of a distributed system using a general protocol
US5581793A (en) * 1993-08-24 1996-12-03 Micron Electronics, Inc. System for bypassing setup states in a bus operation
JPH07307771A (ja) * 1994-05-12 1995-11-21 Kokusai Denshin Denwa Co Ltd <Kdd> プロトコルの論理検証方法
US6487676B1 (en) * 1996-07-19 2002-11-26 Telefonaktiebolaget Lm Ericsson (Publ) Validation of procedures
FR2756070B1 (fr) * 1996-11-18 1999-01-22 Bull Sa Systeme de gestion et de traitement de transactions distribuees d'objets et procede mis en oeuvre par ledit systeme
US6178394B1 (en) * 1996-12-09 2001-01-23 Lucent Technologies Inc. Protocol checking for concurrent systems
DE19831720A1 (de) * 1998-07-15 2000-01-20 Alcatel Sa Verfahren zur Ermittlung einer einheitlichen globalen Sicht vom Systemzustand eines verteilten Rechnernetzwerks

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2472234A1 (fr) * 1979-12-21 1981-06-26 Philips Ind Commerciale Protocoles de communication geres par les modules de communication utilises dans un systeme de traitement de donnees reparti
US4442484A (en) * 1980-10-14 1984-04-10 Intel Corporation Microprocessor memory management and protection mechanism
US4539652A (en) * 1982-07-16 1985-09-03 At&T Bell Laboratories Networks for data communication
US4631666A (en) * 1982-10-25 1986-12-23 Burroughs Corporation Data transfer network for variable protocol management

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9208151B2 (en) 2011-10-25 2015-12-08 International Business Machines Corporation Method, program, and system for specification verification

Also Published As

Publication number Publication date
CA1218464A (en) 1987-02-24
US4754400A (en) 1988-06-28
JPH0458743B2 (https=) 1992-09-18

Similar Documents

Publication Publication Date Title
CN113656227B (zh) 一种芯片验证方法、装置、电子设备及存储介质
Peng et al. Data flow analysis of communicating finite state machines
CN110135985A (zh) 一种区块链上交易的并行执行方法及系统
US20120166171A1 (en) Modelling and simulation method
CN106033439A (zh) 一种分布式事务处理方法及系统
EP3327573B1 (en) Multi-processor and multi-processor system
JPS6171750A (ja) プロトコル検証回路
CN110290166B (zh) 跨集群数据交互方法、系统、装置及可读存储介质
CN112559525A (zh) 数据检查系统、方法、装置和服务器
CN105892957A (zh) 一种基于动态分片的分布式事务执行方法
CN112559547B (zh) 确定多存储对象副本之间一致性的方法及装置
CN114817252B (zh) 一种异步接口的多系统通用数据变更方法
US10599552B2 (en) Model checker for finding distributed concurrency bugs
CN111753027B (zh) 一种面向多实体的隐式知识图谱表示的方法及装置
CN116795605A (zh) 一种外围器件互联扩展设备异常自动恢复系统以及方法
CN117908954A (zh) 一种多分行网银前端代码管理方法、装置、设备及介质
CN111143218B (zh) 适用于5G嵌入式设备的log调试方法、装置和可读存储介质
JPH0458744B2 (https=)
US20200278835A1 (en) Tournament tree rollback for payload write exception
CN113436004A (zh) 基于核心银行系统的交易处理方法及装置
JPH0313779B2 (https=)
WO2024202551A1 (en) Controller, control system and control method
JPS63233480A (ja) パイプライン処理指定方式
CN115878593A (zh) 一种通用兼容性数据类型框架的实现方法
CN121234834A (zh) 芯片核心配置方法、装置、芯片、电子设备和存储介质