The ideal of verified software (Invited talk)

被引：0
|
作者：
Hoare, Tony [1 ]
机构：
[1] Microsoft Res, Redmond, WA 98052 USA
来源：
COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2006年 / 4144卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The ideal of verified software has long been the goal of research in Computer Science. This paper argues that the time is ripe to embark on a Grand Challenge project to construct a program verifier, based on a sound and complete theory of programming, and evaluated by experimental application to a large and representative sample of useful computer software.
引用
收藏
页码：5 / 16
页数：12
相关论文
共 50 条
  • [1] Invited Talk: Fun with Software Developers and Biometrics
    Begel, Andrew
    [J]. 2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMOTION AWARENESS IN SOFTWARE ENGINEERING (SEMOTION), 2016, : 1 - 2
  • [2] Invited talk: ASM formalware in the software engineering cycle
    Gurevich, Y
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 197 - 197
  • [3] Invited talk: A software engineering program of lasting value
    Parnas, DL
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 1 - 1
  • [4] Some Challenges for Software Testing Research (Invited Talk Paper)
    Alshahwan, Nadia
    Ciancone, Andrea
    Harman, Mark
    Jia, Yue
    Mao, Ke
    Marginean, Alexandru
    Mols, Alexander
    Peleg, Hila
    Sarro, Federica
    Zorin, Ilya
    [J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 1 - 3
  • [5] Proof Assistants at the Hardware-Software Interface (Invited Talk)
    Chlipala, Adam
    [J]. CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 2 - 2
  • [6] Action Research in Software Engineering: Metrics' Research Perspective (Invited Talk)
    Staron, Miroslaw
    [J]. THEORY AND PRACTICE OF COMPUTER SCIENCE, SOFSEM 2019, 2019, 11376 : 39 - 49
  • [7] Invited Talk: Software Engineering, AI and autonomous vehicles: Security assurance
    Zheng, James Xi
    [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), 2020,
  • [8] AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk)
    Chandra, Satish
    [J]. PROCEEDINGS OF THE 1ST ACM INTERNATIONAL CONFERENCE ON AI-POWERED SOFTWARE, AIWARE 2024, 2024, : 182 - 182
  • [9] Software Architecture - What Does It Mean in Industry? (Invited Industrial Talk)
    Wolff, Eberhard
    [J]. 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 999 - 999
  • [10] Invited talk: Expanding software product families: From integration to composition
    Bosch, Jan
    [J]. ARCHITECTURE OF COMPUTING SYSTEMS - ARCS 2007, PROCEEDINGS, 2007, 4415 : 283 - 295
12345