VERIFYING THE SEMANTIC CORRECTNESS OF PROTOCOLS USING THE COHERENCE PROPERTY

被引：0

|

作者：

KARPOV, YG

BORSHCHEV, AV

MESHCHERSKY, AA

机构：

来源：

AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1989年 / 05期

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：41 / 44

页数：4

相关论文

共 50 条

[1] Verifying cache coherence protocols
McMillan, K
IEEE SPECTRUM, 1996, 33 (06) : 67 - 67
[2] Correctness analysis of snoopy cache coherence protocols using Petri nets
Hassan, A
Mahgoub, I
INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 10TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 1997, : 338 - 343
[3] ON THE COHERENCE PROPERTY OF PROTOCOLS
KARPOV, JG
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1987, (05): : 38 - 40
[4] Verifying Correctness
Hoffmann, Leah
COMMUNICATIONS OF THE ACM, 2024, 67 (03) : 108 - 107
[5] A formal framework for verifying IKA property of protocols
Joy, Shyam P.
Chandran, Priya
JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2019, 31 (03) : 318 - 326
[6] Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom
Sethi, Divjyot
Talupur, Muralidhar
Malik, Sharad
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 330 - 347
[7] Correctness of Routing Vector Protocols as a Property of Network Cycles
Sobrinho, Joao Luis
IEEE-ACM TRANSACTIONS ON NETWORKING, 2017, 25 (01) : 150 - 163
[8] VERIFYING ASYMPTOTIC CORRECTNESS
HOWARD, M
COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 109 - 112
[9] VERIFYING THE CORRECTNESS OF AADL MODULES USING MODEL CHECKING
JOSKO, B
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 386 - 400
[10] VERIFYING CORRECTNESS OF LOGIC PROGRAMS
BOSSI, A
COCCO, N
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 96 - 110

← 1 2 3 4 5 →