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

来源：

关键词：

D O I：

10.1109/MSEC.2022.3158842

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：22 / 23

页数：2

共 50 条

[11] RETHINKING FORMAL METHODS
Pike, Lee
[J]. COMPUTER, 2010, 43 (03) : 6 - 6
[12] Applicable Formal Methods
Leuschel, M
[J]. FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 91 - 92
[13] WHAT ARE FORMAL METHODS
GIBBINS, PF
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (03) : 131 - 137
[14] TEACH FORMAL METHODS
CUADRADO, J
[J]. BYTE, 1994, 19 (12): : 292 - 292
[15] FORMAL METHODS FOR DESIGN
MUSGRAVE, G
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
[16] Functional formal methods
Moore, JS
[J]. ACM SIGPLAN NOTICES, 2002, 37 (09) : 123 - 123
[17] The industrialization of formal methods
John S. Fitzgerald
Stefania Gnesi
Dino Mandrioli
[J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 301 - 302
[18] Formal Methods @ Runtime
Calinescu, Radu
Kikuchi, Shinji
[J]. FOUNDATIONS OF COMPUTER SOFTWARE: MODELING, DEVELOPMENT, AND VERIFICATION OF ADAPTIVE SYSTEMS, 2011, 6662 : 122 - 135
[19] Formal Methods for Privacy
Tschantz, Michael Carl
Wing, Jeannette M.
[J]. FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 1 - 15
[20] Aspects and formal methods
Katz, Shmuel
[J]. FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 1 - +