Economics of software verification

被引：0
|
作者：
Holzmann, GJ [1 ]
机构：
[1] Bell Labs, Murray Hill, NJ 07974 USA
来源：
ACM SIGPLAN NOTICES | 2001年
关键词：
model checking; software verification; testing; spin;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively when the benefits will outweigh the cost?
引用
收藏
页码：80 / 85
页数：6
相关论文
共 50 条
  • [41] Formal verification of software-based medical devices considering medical guidelines
    Zamira Daw
    Rance Cleaveland
    Marcus Vetter
    International Journal of Computer Assisted Radiology and Surgery, 2014, 9 : 145 - 153
  • [42] Formal verification of software-based medical devices considering medical guidelines
    Daw, Zamira
    Cleaveland, Rance
    Vetter, Marcus
    INTERNATIONAL JOURNAL OF COMPUTER ASSISTED RADIOLOGY AND SURGERY, 2014, 9 (01) : 145 - 153
  • [43] Formal verification of software-only mechanisms for live migration of SGX enclaves
    Demigha, Oualid
    Haddad, Nabil
    INTERNATIONAL JOURNAL OF INFORMATION AND COMPUTER SECURITY, 2023, 22 (02) : 230 - 261
  • [44] Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
    Beyer, Dirk
    Lee, Nian-Ze
    Wendler, Philipp
    JOURNAL OF AUTOMATED REASONING, 2025, 69 (01)
  • [45] MODEL-BASED VERIFICATION OF EMBEDDED SOFTWARE
    Shokry, Hesham
    Hinchey, Mike
    COMPUTER, 2009, 42 (04) : 53 - +
  • [46] Concurrent software verification with states, events, and deadlocks
    Chaki, S
    Clarke, E
    Ouaknine, J
    Sharygina, N
    Sinha, N
    FORMAL ASPECTS OF COMPUTING, 2005, 17 (04) : 461 - 483
  • [47] OPERAM: A Collaborative Semantic Workspace for Software Verification
    da Silva, Edenilson Jose
    Torquato, Emerson
    Ramos, Milton Pires
    Paraiso, Emerson Cabrera
    2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 1026 - 1031
  • [48] Why There is no General Solution to the Problem of Software Verification
    Symons, John
    Horner, Jack K.
    FOUNDATIONS OF SCIENCE, 2020, 25 (03) : 541 - 557
  • [49] Empirical software metrics for benchmarking of verification tools
    Demyanova, Yulia
    Pani, Thomas
    Veith, Helmut
    Zuleger, Florian
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 50 (2-3) : 289 - 316
  • [50] Scalable and Optimized Hybrid Verification of Embedded Software
    Behrend, Joerg
    Lettnin, Djones
    Gruenhage, Alexander
    Ruf, Juergen
    Kropf, Thomas
    Rosenstiel, Wolfgang
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2015, 31 (02): : 151 - 166
12345