AN OVERVIEW OF SOME FORMAL METHODS FOR PROGRAM DESIGN

被引：0
|
作者：
HOARE, CAR
机构：
来源：
COMPUTER | 1987年 / 20卷 / 09期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：85 / 91
页数：7
相关论文
共 50 条
  • [1] Overview of Formal Methods
    Wang J.
    Zhan N.-J.
    Feng X.-Y.
    Liu Z.-M.
    Ruan Jian Xue Bao/Journal of Software, 2019, 30 (01): : 33 - 61
  • [2] Formal methods for security - Overview
    Gong, L
    Guttmann, J
    Ryan, P
    Schneider, S
    Bux, W
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2003, 21 (01) : 1 - 4
  • [3] OVERVIEW - SURVEY OF FORMAL METHODS IN INDUSTRY
    PARKIN, GI
    AUSTIN, S
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 189 - 203
  • [4] FORMAL METHODS FOR DESIGN
    MUSGRAVE, G
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
  • [5] Multidisciplinary design optimization - some formal methods, framework requirements, and application to vehicle design
    Kodiyalam, S
    Sobieszczanski-Sobieski, J
    INTERNATIONAL JOURNAL OF VEHICLE DESIGN, 2001, 25 (1-2) : 3 - 22
  • [6] TOOLympics 2019: An Overview of Competitions in Formal Methods
    Bartocci, Ezio
    Beyer, Dirk
    Black, Paul E.
    Fedyukovich, Grigory
    Garavel, Hubert
    Hartmanns, Arnd
    Huisman, Marieke
    Kordon, Fabrice
    Nagele, Julian
    Sighireanu, Mihaela
    Steffen, Bernhard
    Suda, Martin
    Sutcliffe, Geoff
    Weber, Tjark
    Yamada, Akihisa
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 3 - 24
  • [7] Formal methods in embedded design
    Johnson, SD
    COMPUTER, 2003, 36 (11) : 104 - 106
  • [8] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    Formal Methods in System Design, 2022, 61 : 1 - 2
  • [9] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [10] Introducing Formal Methods via Program Derivation
    Chaudhari, Dipak L.
    Damani, Om
    ITICSE'15: PROCEEDINGS OF THE 2015 ACM CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2015, : 266 - 271
12345