SPECIFICATION AND PROOF TECHNIQUES FOR SERIALIZERS

被引：16

|

作者：

HEWITT, CE

ATKINSON, RR

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1979年 / 5卷 / 01期

关键词：

D O I：

10.1109/TSE.1979.234149

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：10 / 23

页数：14

相关论文

共 50 条

[1] Specification, abduction, and proof
Arkoudas, K
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 294 - 309
[2] Formal specification and proof of Gridjack
Mao, Li
Qi, Deyu
2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 1, 2012, : 110 - 114
[3] ON FORMAL SPECIFICATION OF A PROOF TOOL
ARTHAN, RD
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 356 - 370
[4] SPECIFICATION OF SCHEDULERS WITH ALGEBRAIC SPECIFICATION TECHNIQUES
WADA, K
HAGIHARA, K
ARAKI, T
TOKURA, N
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 143 : 42 - 62
[5] Specification and proof in membership equational logic
Bouhoula, A
Jouannaud, JP
Meseguer, J
THEORETICAL COMPUTER SCIENCE, 2000, 236 (1-2) : 35 - 132
[6] TOWARDS SPECIFICATION AND PROOF OF ASYNCHRONOUS SYSTEMS
GAMATIE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 210 : 263 - 276
[7] TECHNIQUES FOR PARTIAL SPECIFICATION AND SPECIFICATION OF SWITCHING SYSTEMS
ZAVE, P
JACKSON, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 511 - 525
[8] DATA TYPE SPECIFICATION - PARAMETERIZATION AND THE POWER OF SPECIFICATION TECHNIQUES
THATCHER, JW
WAGNER, EG
WRIGHT, JB
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 711 - 732
[9] ALGEBRAIC SPECIFICATION AND PROOF OF A DISTRIBUTED RECOVERY ALGORITHM
HE, JF
HOARE, CAR
DISTRIBUTED COMPUTING, 1987, 2 (01) : 1 - 12
[10] A Proof Search Specification of the pi-Calculus
Tiu, Alwen
Miller, Dale
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 138 (01) : 79 - 101

← 1 2 3 4 5 →