A Unifying View on SMT-Based Software Verification (vol 60, pg 299, 2018)

被引：0
|
作者：
Beyer, Dirk [1 ]
Dangl, Matthias [1 ]
Wendler, Philipp [1 ]
机构：
[1] Ludwig Maximilians Univ Munchen, Munich, Germany
来源：
JOURNAL OF AUTOMATED REASONING | 2021年 / 65卷 / 03期
关键词：
D O I：
10.1007/s10817-020-09585-6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The article “A Unifying View on SMT-Based Software Verification”, written by Dirk Beyer, Matthias Dangl, and Philipp Wendler, was originally published Online First without Open Access
引用
收藏
页码：461 / 461
页数：1
相关论文
共 50 条
  • [1] A Unifying View on SMT-Based Software Verification
    Dirk Beyer
    Matthias Dangl
    Philipp Wendler
    Journal of Automated Reasoning, 2018, 60 : 299 - 335
  • [2] A Unifying View on SMT-Based Software Verification
    Beyer, Dirk
    Dangl, Matthias
    Wendler, Philipp
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (03) : 299 - 335
  • [3] Correction to: A Unifying View on SMT-Based Software Verification
    Dirk Beyer
    Matthias Dangl
    Philipp Wendler
    Journal of Automated Reasoning, 2021, 65 : 461 - 461
  • [4] HiFrog: SMT-based Function Summarization for Software Verification
    Alt, Leonardo
    Asadi, Sepideh
    Chockler, Hana
    Mendoza, Karine Even
    Fedyukovich, Grigory
    Hyvarinen, Antti E. J.
    Sharygina, Natasha
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II, 2017, 10206 : 207 - 213
  • [5] SMT-Based Verification of Safety-Critical Embedded Control Software
    Adhikary, Sunandan
    Gurung, Amit
    Thakkar, Jay
    Da Costa, Antonio Bruto
    Dey, Soumyajit
    Hazra, Aritra
    Dasgupta, Pallab
    IEEE EMBEDDED SYSTEMS LETTERS, 2021, 13 (03) : 138 - 141
  • [6] Applying SMT-based verification to hardware/software partitioning in embedded systems
    Trindade, Alessandro B.
    Cordeiro, Lucas C.
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2016, 20 (01) : 1 - 19
  • [7] SMT-Based Verification of NGAC Policies
    Duhrovenski, Vladislav
    Chen, Erzhuo
    Xu, Dianxiang
    2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 860 - 869
  • [8] Applying SMT-based verification to hardware/software partitioning in embedded systems
    Alessandro B. Trindade
    Lucas C. Cordeiro
    Design Automation for Embedded Systems, 2016, 20 : 1 - 19
  • [9] SMT-Based Verification of Parameterized Systems
    Gurfinkel, Arie
    Shoham, Sharon
    Meshman, Yuri
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 338 - 348
  • [10] SMT-Based Software Model Checking
    Cimatti, Alessandro
    MODEL CHECKING SOFTWARE, 2010, 6349 : 1 - 3
12345