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 条
  • [31] Formal verification of reconfigurable systems
    Rahim, Muhammad Abdul Basit Ur
    Raheem, Muhammad Ahsan Ur
    Sohail, Muhammad Khalid
    Farid, Mohammad Atif
    Mufti, Muhammad Rafiq
    SOFT COMPUTING, 2023,
  • [32] Formal verification of an ARM processor
    Patankar, VA
    Jain, A
    Bryant, RE
    TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1999, : 282 - 287
  • [33] Formal verification of an OS submodule
    Pendharkar, NS
    Gopinath, K
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 197 - 208
  • [34] Formal verification for C program
    Qian, Junyan
    Xu, Baowen
    INFORMATICA, 2007, 18 (02) : 289 - 304
  • [35] Polynomial Formal Verification of Multipliers
    Martin Keim
    Rolf Drechsler
    Bernd Becker
    Michael Martin
    Paul Molitor
    Formal Methods in System Design, 2003, 22 : 39 - 58
  • [36] The MODUS Approach to Formal Verification
    Brewka, Lukasz
    Soler, Jose
    Berger, Michael
    BUSINESS SYSTEMS RESEARCH JOURNAL, 2014, 5 (01): : 21 - 33
  • [37] Formal Verification of Bayesian Mechanisms
    Mittelmann, Munyque
    Maubert, Bastien
    Murano, Aniello
    Perrussel, Laurent
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 11621 - 11629
  • [38] On bridging simulation and formal verification
    Goldberg, Eugene
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 127 - 141
  • [39] Formal verification of embedded SoC
    Wang, B
    Lin, ZH
    2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, 2001, : 769 - 772
  • [40] Formal Verification of a Transistor PCell
    Langner, Kerstin
    Scheible, Juergen
    2017 13TH CONFERENCE ON PH.D. RESEARCH IN MICROELECTRONICS AND ELECTRONICS (PRIME), 2017, : 205 - 208
12345