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 条
  • [41] Towards a proof-theoretic foundation for actor specification and verification
    Duarte, CHC
    FORMAL MODELS OF AGENTS, 1999, 1760 : 123 - 142
  • [42] Analysis and formal specification of OpenJDK's BitSet: Proof files
    Tatman, Andy S.
    Hiep, Hans-Dieter A.
    de Gouw, Stijn
    SCIENCE OF COMPUTER PROGRAMMING, 2025, 241
  • [43] The single-conclusion proof logic and inference rules specification
    Krupski, VN
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 113 (1-3) : 181 - 206
  • [44] Making the most of formal specification through animation, testing and proof
    Bicarregui, J
    Dick, J
    Matthews, B
    Woods, E
    SCIENCE OF COMPUTER PROGRAMMING, 1997, 29 (1-2) : 53 - 78
  • [45] Coloured Petri net refinement specification and correctness proof with Coq
    Choppy, Christine
    Mayero, Micaela
    Petrucci, Laure
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (03) : 195 - 202
  • [46] CASL - The common algebraic specification language: Semantics and proof theory
    Mossakowski, T
    Haxthausen, AE
    Sannella, D
    Tarlecki, A
    COMPUTING AND INFORMATICS, 2003, 22 (3-4) : 285 - 321
  • [47] DESIGN OF PROTOCOLS - SPECIFICATION AND FORMAL DESCRIPTION TECHNIQUES
    MESTRAS, JP
    PEREDA, O
    TOMAS, JG
    REVISTA DE INFORMATICA Y AUTOMATICA, 1988, 21 (01): : 28 - 37
  • [48] Incremental Verification Techniques for an Updated Architectural Specification
    Mitra, Srobona
    Ghosh, Priyankar
    Dasgupta, Pallab
    Chakrabarti, Partha P.
    2009 ANNUAL IEEE INDIA CONFERENCE (INDICON 2009), 2009, : 205 - 208
  • [49] Shielding specification techniques and measurement methods for aircraft
    Prather, William D.
    2007 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY: WORKSHOP AND TUTORIAL NOTES, VOLS 1-3, 2007, : 599 - 604
  • [50] A COMPARISON OF TECHNIQUES FOR THE SPECIFICATION OF EXTERNAL SYSTEM BEHAVIOR
    DAVIS, AM
    COMMUNICATIONS OF THE ACM, 1988, 31 (09) : 1098 - 1115
12345