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 条
  • [21] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    [J]. Software & Systems Modeling, 2015, 14 : 3 - 4
  • [22] Software Reliability Assessment Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    [J]. 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 311 - +
  • [23] Teaching Formal Methods: From Software in the Small to Software in the Large
    Gallardo, Maria-del-Mar
    Panizo, Laura
    [J]. FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 97 - 110
  • [24] Software Reliability Prediction Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    [J]. ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 816 - +
  • [25] Agile Formal Engineering Method for Software Productivity and Reliability
    Liu, Shaoying
    [J]. CEE-SECR'18: PROCEEDINGS OF THE 14TH CENTRAL AND EASTERN EUROPEAN SOFTWARE ENGINEERING CONFERENCE RUSSIA, 2018,
  • [26] USING FORMAL METHODS IN A DESIGN FOR RELIABILITY AS APPLIED TO AN ELECTRONIC SYSTEM THAT INTEGRATES SOFTWARE AND HARDWARE TO PERFORM A FUNCTION
    GWANDU, BAL
    CREASEY, DJ
    [J]. MICROELECTRONICS AND RELIABILITY, 1995, 35 (08): : 1111 - 1124
  • [27] Successful application of formal methods to software and hardware
    Huling, G
    [J]. WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 504 - 506
  • [28] On the utility of formal methods in the development and certification of software
    Heitmeyer, Constance L.
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 1 - 2
  • [29] Formal Methods for Robotic System Control Software
    Kouskoulas, Yanni
    Platzer, Andre
    Kazanzides, Peter
    [J]. JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (02): : 490 - 498
  • [30] Formal foundations for software engineering methods - Introduction
    Hussmann, H
    [J]. FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
12345