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 条
  • [21] Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking
    Kong, Weiqiang
    Katahira, Noriyuki
    Watanabe, Masahiko
    Katayama, Tetsuro
    Hisazumi, Kenji
    Fukuda, Akira
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 81 - 88
  • [22] Building SMT-Based Software Model Checkers: An Experience Report
    Armando, Alessandro
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 1 - 17
  • [23] SMT-Based Stability Verification of an Industrial Switched PI Control Systems
    Basagiannis, Stylianos
    Battista, Ludovico
    Becchi, Anna
    Cimatti, Alessandro
    Giantamidis, Georgios
    Mover, Sergio
    Tacchella, Alberto
    Tonetta, Stefano
    Tsachouridis, Vassilios
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 243 - 250
  • [24] SMT-based Formal Verification of Synchronous Reactive Model for Zone Controller
    Li T.-F.
    Sun J.-F.
    Lv X.-J.
    Chen X.
    Liu J.
    Sun H.-Y.
    He J.-F.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (07):
  • [25] Scaling up the formal verification of Lustre programs with SMT-based techniques
    Hagen, George
    Tinelli, Cesare
    2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2008, : 109 - 117
  • [26] SAT and SMT-Based Verification of Security Protocols Including Time Aspects
    Szymoniak, Sabina
    Siedlecka-Lamch, Olga
    Zbrzezny, Agnieszka M.
    Zbrzezny, Andrzej
    Kurkowski, Miroslaw
    SENSORS, 2021, 21 (09)
  • [27] SMT-based Verification Applied to Non-convex Optimization Problems
    Araujo, Rodrigo
    Bessa, Iury
    Cordeiro, Lucas C.
    Chaves Filho, Joao Edgar
    2016 VI BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2016), 2016, : 1 - 8
  • [28] SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler
    Zhang, Haitao
    Lu, Yonggang
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2017, 10189 : 181 - 200
  • [29] SMT-Based Verification of Persistency Invariants of Px86 Programs
    Marmanis, Iason
    Vafeiadis, Viktor
    VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 92 - 110
  • [30] SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
    Banerjee, Soham
    Ghosh, Sumana
    Banerjee, Ansuman
    Mohalik, Swarup K.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2023, 2023, 13881 : 25 - 43
12345