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 条

[1] Formal Correctness Methods at the Million CPU Scale
Gopalakrishnan, Ganesh
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (107): : 3 - U6
[2] Formal Methods for the Analysis and Synthesis of Nanometer-Scale Cellular Arrays
Carmona, Josep
Cortadella, Jordi
Takada, Yousuke
Peper, Ferdinand
[J]. ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS, 2008, 4 (02)
[3] Formal methods
Lowe, M
[J]. FIRST EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1997, : 43 - 43
[4] Issues in the Full Scale Use of Formal Methods for Automated Testing Analysis (ISSTA)
Crowley, J. L.
Leathrum, J. F.
Liburdy, K. A.
[J]. Software Engineering Notes, 1996, 21 (03)
[5] Applicable formal methods
Cooke, J
[J]. FORMAL ASPECTS OF COMPUTING, 2005, 17 (03) : 259 - 259
[6] Formal Methods: An Appetizer
Michaelson, Greg
[J]. FORMAL ASPECTS OF COMPUTING, 2022, 34 (02)
[7] Formal methods and dependability
Jones, CB
[J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 140 - 143
[8] Formal methods and cryptography
Backes, Michael
Pfitzmann, Birgit
Waidner, Michael
[J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 612 - 616
[9] Software (Formal methods)
[J]. NZ Eng, 5 (18):
[10] Formal systems, not methods
Loomes, M
Christianson, B
Davey, N
[J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 47 - 64