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 条
  • [31] SMT-Based Timing Analysis and Verification of Real-Time Task
    Xing, Hai-feng
    Zhou, Jian-tao
    Song, Xiaoyu
    Qi, Rui-dong
    2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 711 - 720
  • [32] Editorial (vol 44, pg 299, 2018)
    Russell, Jo
    JOURNAL OF CHILD PSYCHOTHERAPY, 2019, 45 (01) : 103 - 103
  • [33] SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms
    Beyer, Dirk
    Dangl, Matthias
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, VSTTE 2016, 2016, 9971 : 181 - 198
  • [34] OCCROB: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks
    Guo, Xingwu
    Zhou, Ziwei
    Zhang, Yueling
    Katz, Guy
    Zhang, Min
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 208 - 226
  • [35] Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN
    Calvanese, Diego
    Ghilardi, Silvio
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    BUSINESS PROCESS MANAGEMENT (BPM 2019), 2019, 11675 : 157 - 175
  • [36] SMT-based verification of data-aware processes: a model-theoretic approach
    Calvanese, Diego
    Ghilardi, Silvio
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (03) : 271 - 313
  • [37] SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Cordeiro, Lucas
    Fischer, Bernd
    Marques-Silva, Joao
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 137 - 148
  • [38] SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Cordeiro, Lucas
    Fischer, Bernd
    Marques-Silva, Joao
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (04) : 957 - 974
  • [39] Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler
    Zhang, Haitao
    Li, Guoqiang
    Sun, Daniel
    Lu, Yonggang
    Hsu, Ching-Hsien
    JOURNAL OF SYSTEMS ARCHITECTURE, 2017, 81 : 7 - 16
  • [40] Engineering Glucose Responsiveness Into Insulin (vol 67, pg 299, 2018)
    Kaarsholm, Niels C.
    Lin, Songnian
    Yan, Lin
    Kelly, Theresa
    van Heek, Margaret
    Mu, James
    Wu, Margaret
    Dai, Ge
    Cui, Yan
    Zhu, Yonghua
    Carballo-Jane, Ester
    Reddy, Vijay
    Zafian, Peter
    Huo, Pei
    Shi, Shuai
    Antochshuk, Valentyn
    Ogawa, Aimie
    Liu, Franklin
    Souza, Sandra C.
    Seghezzi, Wolfgang
    Duffy, Joseph L.
    Erion, Mark
    Nargund, Ravi P.
    Kelley, David E.
    DIABETES, 2018, 67 (05) : 1030 - 1030
12345