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 条
  • [31] Towards Formal Fault Tree Analysis Using Theorem Proving
    Ahmed, Waqar
    Hasan, Osman
    [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 39 - 54
  • [32] Formal Analysis of Linear Control Systems Using Theorem Proving
    Rashid, Adnan
    Hasan, Osman
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017, 2017, 10610 : 345 - 361
  • [33] Logical interpretation: Static program analysis using theorem proving
    Tiwari, Ashish
    Gulwani, Sumit
    [J]. AUTOMATED DEDUCTION - CADE-21, PROCEEDINGS, 2007, 4603 : 147 - +
  • [34] Using animation in diagrammatic theorem proving
    Winterstein, D
    Bundy, A
    Gurr, C
    Jamnik, M
    [J]. DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2002, 2317 : 46 - 60
  • [35] Total error performance analysis of subband adaptive digital filters
    Munemoto, H
    Ochi, H
    [J]. CONFERENCE RECORD OF THE THIRTY-SECOND ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1 AND 2, 1998, : 1386 - 1391
  • [36] Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
    Hoelzl, Johannes
    Immler, Fabian
    Huffman, Brian
    [J]. INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 279 - 294
  • [37] INFERENCE-SECURITY ANALYSIS USING RESOLUTION THEOREM-PROVING
    ROWE, NC
    [J]. PROCEEDINGS : FIFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, 1989, : 410 - 416
  • [38] The Use of Automated Theorem Proving for Error Analysis and Removal in Safety Critical Embedded System Specifications
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip A.
    [J]. 2017 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2017, : 358 - 361
  • [39] FORMALIZATION OF LERCH'S THEOREM USING HOL LIGHT
    Rashid, Adnan
    Hasan, Osman
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (08): : 1623 - 1652
  • [40] USING EXAMPLES, CASE ANALYSIS, AND DEPENDENCY GRAPHS IN THEOREM-PROVING
    PLAISTED, DA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 356 - 374
12345