Formal methods and software reliability

被引：0
|
作者：
Holzmann, GJ [1 ]
机构：
[1] CALTECH, JPL Lab Reliable Software, Pasadena, CA 91006 USA
来源：
SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/MEMCOD.2004.1459838
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this position statement I briefly describe how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL.
引用
收藏
页码：145 / 146
页数：2
相关论文
共 50 条
  • [1] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [2] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [3] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [4] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [5] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [6] Formal Methods for Software Testing
    Gaudel, Marie-Claude
    [J]. PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 1 - 3
  • [7] Formal methods in testing software architectures
    Bertolino, A
    Inverardi, P
    Muccini, H
    [J]. FORMAL METHODS FOR SOFTWARE ARCHITECTURES, 2003, 2804 : 122 - 147
  • [8] Methods and tools for formal software engineering
    Liu, Zhiming
    Venkatesh, R.
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +
  • [9] Formal methods for integration of automotive software
    Jersak, M
    Richter, K
    Ernst, R
    Braam, JC
    Jiang, ZY
    Wolf, F
    [J]. DESIGNERS FORUM: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2003, : 45 - 50
  • [10] Teaching of Formal Methods for Software Engineering
    Spichkova, Maria
    Zamansky, Anna
    [J]. ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 370 - 376
12345