Formal Methods at Scale

被引：1
|
作者：
Martin, William [1 ]
Lincoln, Patrick [2 ,3 ]
Scherlis, William [1 ]
机构：
[1] DARPA, Informat Innovat Off, Arlington, VA 22203 USA
[2] SRI Int, Informat & Comp Sci, 333 Ravenswood Ave, Menlo Pk, CA 94025 USA
[3] SRI Int, Comp Sci Lab, 333 Ravenswood Ave, Menlo Pk, CA 94025 USA
来源：
IEEE SECURITY & PRIVACY | 2022年 / 20卷 / 03期
关键词：
D O I：
10.1109/MSEC.2022.3158842
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：22 / 23
页数：2
相关论文
共 50 条
  • [21] Formal methods in practice
    Polak, W
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2002, 42 (01) : 75 - 85
  • [22] Formal methods in computation
    Moller, FG
    [J]. COMPUTER JOURNAL, 2002, 45 (01): : 1 - 1
  • [23] Overview of Formal Methods
    Wang J.
    Zhan N.-J.
    Feng X.-Y.
    Liu Z.-M.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2019, 30 (01): : 33 - 61
  • [24] An invitation to formal methods
    Saiedian, H
    Bowen, JP
    Butler, RW
    Dill, DL
    Glass, RL
    Gries, D
    Hall, A
    Hinchey, MG
    Holloway, CM
    Jackson, D
    Jones, CB
    Lutz, MJ
    Parnas, DL
    Rushby, J
    Wing, J
    Zave, P
    [J]. COMPUTER, 1996, 29 (04) : 16 - &
  • [25] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    [J]. Formal Methods in System Design, 2022, 61 : 1 - 2
  • [26] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [27] The meaning of "formal": From weak to strong formal methods
    Wolper P.
    [J]. International Journal on Software Tools for Technology Transfer, 1997, 1 (1-2) : 6 - 8
  • [28] Major threat: From formal methods without tools to tools without formal methods
    Steffen, B
    [J]. NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 15 - 15
  • [29] Formal concept analysis of multi-scale formal context
    Chen, Dongxiao
    Li, Jinjin
    Lin, Rongde
    [J]. JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2020, 11 (11) : 5315 - 5327
  • [30] Formal concept analysis of multi-scale formal context
    Dongxiao Chen
    Jinjin Li
    Rongde Lin
    [J]. Journal of Ambient Intelligence and Humanized Computing, 2020, 11 : 5315 - 5327
12345