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 条
  • [1] Verification of proofs of unsatisfiability for CNF formulas
    Goldberg, E
    Novikov, Y
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 886 - 891
  • [2] A user study for evaluation of formal verification results and their explanation at Bosch
    Kaleeswaran, Arut Prakash
    Nordmann, Arne
    Vogel, Thomas
    Grunske, Lars
    EMPIRICAL SOFTWARE ENGINEERING, 2023, 28 (05)
  • [3] A user study for evaluation of formal verification results and their explanation at Bosch
    Arut Prakash Kaleeswaran
    Arne Nordmann
    Thomas Vogel
    Lars Grunske
    Empirical Software Engineering, 2023, 28
  • [4] Late Breaking Results: Polynomial Formal Verification of Fast Adders
    Mahzoon, Alireza
    Drechsler, Rolf
    2021 58TH ACM/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2021, : 1376 - 1377
  • [5] Formal Verification
    Meenakshi, B.
    RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2005, 10 (05): : 26 - 38
  • [6] Formal verification
    B Meenakshi
    Resonance, 2005, 10 (5) : 26 - 38
  • [7] Bridging the gap between easy generation and efficient verification of unsatisfiability proofs
    Heule, Marijn J. H.
    Hunt, Warren A., Jr.
    Wetzler, Nathan
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (08): : 593 - 607
  • [8] VERIFICATION - FORMAL OR OTHERWISE
    NEALE, RG
    ELECTRONIC ENGINEERING, 1994, 66 (811): : 5 - 5
  • [9] Formal Verification of a Keystore
    Boender, Jaap
    Badevic, Goran
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 49 - 64
  • [10] Formal Verification of Websites
    Flores, Sonia
    Lucas, Salvador
    Villanueva, Alicia
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 200 (03) : 103 - 118
12345