Verified software: Theories, tools, experiments vision of a grand challenge project

被引：0
|
作者：
Hoare, Tony
Misra, Jay
机构：
来源：
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS | 2008年 / 4171卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The ideal of correct software has long been the goal of research in Computer Science. We now have a good theoretical understanding of how to describe what programs do, how they do it, and why they work. This understanding has already been applied to the design, development and manual verification of simple programs of moderate size that are used in critical applications. Automatic verification could greatly extend the benefits of this technology.
引用
收藏
页码：1 / 18
页数：18
相关论文
共 50 条
  • [31] Software Support of Project Initiatives - Recommended tools
    Semeradova, Tereza
    [J]. INNOVATION VISION 2020: FROM REGIONAL DEVELOPMENT SUSTAINABILITY TO GLOBAL ECONOMIC GROWTH, VOL I-VI, 2015, : 595 - 600
  • [32] TOWARDS BUILDING SOFTWARE PROJECT TELEMETRY TOOLS
    Roman, Adrian
    [J]. PROCEEDINGS OF THE EUROPEAN INTEGRATION: BETWEEN TRADITION AND MODERNITY, VOL 2, 2007, : 731 - 734
  • [33] Software Support of Project Initiatives - Recommended tools
    Semeradova, Tereza
    [J]. INNOVATION VISION 2020: FROM REGIONAL DEVELOPMENT SUSTAINABILITY TO GLOBAL ECONOMIC GROWTH, VOL I-VI, 2015, : 1232 - 1236
  • [34] REPTATE rheology software: Toolkit for the analysis of theories and experiments
    Boudara, Victor A. H.
    Read, Daniel J.
    Ramirez, Jorge
    [J]. JOURNAL OF RHEOLOGY, 2020, 64 (03) : 709 - 722
  • [35] CHALLENGE TO SOFTWARE HUT EDUCATION - THE EFFECTIVENESS OF SOFTWARE ENGINEERING PROJECT EDUCATION
    OSTUKI, S
    MITSUMORI, S
    KADO, T
    [J]. SOFTWARE ENGINEERING EDUCATION, 1993, 40 : 99 - 108
  • [36] On Software Tools and Stack Architectures for Wireless Network Experiments
    Abdallah, A. S.
    MacKenzie, A. B.
    DaSilva, L. A.
    Thompson, M. S.
    [J]. 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), 2011, : 2131 - 2136
  • [37] Experiments with levitated force sensor challenge theories of dark energy
    Peiran Yin
    Rui Li
    Chengjiang Yin
    Xiangyu Xu
    Xiang Bian
    Han Xie
    Chang-Kui Duan
    Pu Huang
    Jian-hua He
    Jiangfeng Du
    [J]. Nature Physics, 2022, 18 : 1181 - 1185
  • [38] Computational general relativistic astrophysics: The Neutron Star Grand Challenge Project
    Suen, WM
    [J]. PROGRESS OF THEORETICAL PHYSICS SUPPLEMENT, 1999, (136): : 251 - 269
  • [39] Experiments with levitated force sensor challenge theories of dark energy
    Yin, Peiran
    Li, Rui
    Yin, Chengjiang
    Xu, Xiangyu
    Bian, Xiang
    Xie, Han
    Duan, Chang-Kui
    Huang, Pu
    He, Jian-hua
    Du, Jiangfeng
    [J]. NATURE PHYSICS, 2022, 18 (10) : 1181 - +
  • [40] Software Tools for Project Management - Focus on Collaborative Management
    Ferreira, Maria Ester
    Tereso, Anabela Pereira
    [J]. NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, 2014, 276 : 73 - 84
12345