Formal Verification of Unsatisfiability Results

被引：0
|
作者：
Heule, Marijn J. H. [1 ]
机构：
[1] Univ Texas Austin, Austin, TX 78712 USA
来源：
PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD) | 2018年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [41] Formal verification of PLC programs
    Rausch, M
    Krogh, BH
    PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 234 - 238
  • [42] Formal verification made easy
    Schlipf, T
    Buechner, T
    Fritz, R
    Helms, M
    Koehl, J
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1997, 41 (4-5) : 567 - 576
  • [43] The evolution of commercial formal verification
    Kurshan, RP
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 2975 - 2980
  • [44] On formal equivalence verification of hardware
    Khasidashvili, Zurab
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2008, 5010 : 11 - 12
  • [45] Formal verification of an optimizing compiler
    Leroy, Xavier
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 1 - 1
  • [46] Formal Verification of the Sumcheck Protocol
    Bosshard, Azucena Garvia
    Bootle, Jonathan
    Sprenger, Christoph
    2024 IEEE 37TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF 2024, 2024, : 605 - 619
  • [47] The PERF Approach for Formal Verification
    Benaissa, Nazim
    Bonvoisin, David
    Feliachi, Abderrahmane
    Ordioni, Julien
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2016, 2016, 9707 : 203 - 214
  • [48] Formal Verification of Optimizing Compilers
    Zhang, Yiji
    Zuck, Lenore D.
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY (ICDCIT 2018), 2018, 10722 : 50 - 65
  • [49] Formal Verification of Operational Transformation
    Liu, Yang
    Xu, Yi
    Zhang, Shao Jie
    Sun, Chengzheng
    FM 2014: FORMAL METHODS, 2014, 8442 : 432 - 448
  • [50] Formal verification of digital systems
    Swamy, G
    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 213 - 217
12345