Error analysis of digital filters using HOL theorem proving

被引：0
|
作者：
Electrical and Computer Engineering Department, Concordia University, Montreal, Canada [1 ]
机构：
来源：
J. Appl. Logic | 2007年 / 4 SPEC. ISS.卷 / 651-666期
关键词：
D O I：
10.1016/j.jal.2006.11.001
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] On proving safety properties by integrating static analysis, theorem proving and abstraction
    Rusu, V
    Singerman, E
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 178 - 192
  • [42] On combining automated theorem proving and digital engineering for general intelligence
    Cody, Tyler
    Beling, Peter A.
    [J]. DISRUPTIVE TECHNOLOGIES IN INFORMATION SCIENCES VII, 2023, 12542
  • [43] Using GXWeb for Theorem Proving and Mathematical Modelling
    Todd, Philip
    Aley, Danny
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 398 : 38 - 42
  • [44] THEOREM-PROVING USING SEMANTIC RESOLUTION
    DOSREIS, AJ
    [J]. DR DOBBS JOURNAL, 1988, 13 (04): : 50 - &
  • [45] Verifying programs using abstraction and theorem proving
    Qian, Junyan
    Xu, Baowen
    [J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1044 - +
  • [46] Static semantic analysis and theorem proving for CASL
    Mossakowski, T
    Kolyang
    Krieg-Brückner, B
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 333 - 348
  • [47] Theorem proving using lazy proof explication
    Flanagan, C
    Joshi, R
    Ou, XM
    Saxe, JB
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 355 - 367
  • [48] LOWPASS DIGITAL FILTERS USING LEAST-SQUARED-ERROR DESIGN
    NAYLOR, JB
    TOWNSEND, JM
    [J]. ELECTRONICS LETTERS, 1969, 5 (25) : 647 - &
  • [49] A Library for Combinational Circuit Verification Using the HOL Theorem Prover
    Shiraz, Sumayya
    Hasan, Osman
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (02) : 512 - 516
  • [50] Zap: Automated theorem proving for software analysis
    Ball, T
    Lahiri, SK
    Musuvathi, M
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 2 - 22
12345