Software verification

被引：4
|
作者：
Kroening, Daniel
机构：
来源：
Frontiers in Artificial Intelligence and Applications | 2009年 / 185卷 / 01期
关键词：
Application programs;
D O I：
10.3233/978-1-58603-929-5-505
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：505 / 532
相关论文
共 50 条
  • [21] Track on Software Verification and Testing
    Caltais, Georgiana
    Petke, Justyna
    Proceedings of the ACM Symposium on Applied Computing, 2024, : 1673 - 1674
  • [22] An Improvement of Software Architecture Verification
    Ding, Zuohua
    Liu, Jing
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 243 : 49 - 67
  • [23] Accessible Software Verification with Dafny
    Leino, K. Rustan M.
    IEEE SOFTWARE, 2017, 34 (06) : 94 - 97
  • [24] Advanced Fingerprint Verification Software
    Baradarani, A.
    Taylor, J. R. B.
    Severin, F.
    Maev, R. Gr.
    SENSORS, AND COMMAND, CONTROL, COMMUNICATIONS, AND INTELLIGENCE (C3I) TECHNOLOGIES FOR HOMELAND SECURITY, DEFENSE, AND LAW ENFORCEMENT APPLICATIONS XV, 2016, 9825
  • [25] Runtime monitoring & software verification
    Drusinsky, D
    DR DOBBS JOURNAL, 2004, 29 (08): : 68 - 72
  • [26] Verification of Pulsar+ Software
    At Energy, 2 (591):
  • [27] Verification of PULSAR+software
    An. A. Tutnov
    Al. A. Tutnov
    E. E. Alekseev
    Atomic Energy, 1997, 83 : 591 - 595
  • [28] Automatic software verification for robotics
    Mantovani, Jacopo
    AI COMMUNICATIONS, 2008, 21 (04) : 263 - 264
  • [29] Deductive verification of cryptographic software
    Almeida, Jose Bacelar
    Barbosa, Manuel
    Pinto, Jorge Sousa
    Vieira, Barbara
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (03) : 203 - 218
  • [30] Software verification of biomolecular systems
    Ciobanu, G
    MODELLING IN MOLECULAR BIOLOGY, 2004, : 39 - 57
12345