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 条
  • [1] Error analysis of digital filters using theorem proving
    Akbarpour, B
    Tahar, S
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2004, 3223 : 1 - 17
  • [2] A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving
    Elderhalli, Yassmeen
    Hasan, Osman
    Tahar, Sofiene
    [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2020, 2020, 12236 : 105 - 122
  • [3] Probabilistic analysis of dynamic fault trees using HOL theorem proving
    Elderhalli, Yassmeen
    Ahmad, Waqar
    Hasan, Osman
    Tahar, Sofiène
    [J]. Journal of Applied Logics, 2019, 6 (03): : 469 - 511
  • [4] PROBABILISTIC ANALYSIS OF DYNAMIC FAULT TREES USING HOL THEOREM PROVING
    Elderhalli, Yassmeen
    Ahmad, Waqar
    Hasan, Osman
    Tahar, Sofiene
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (03): : 469 - 511
  • [5] Hybrid interactive theorem proving using Nuprl and HOL
    Felty, AP
    Howe, DJ
    [J]. AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 351 - 365
  • [6] On the Formalization of Importance Measures using HOL Theorem Proving
    Ahmad, Waqar
    Murtza, Shahid Ali
    Hasan, Osman
    Tahar, Sofiene
    [J]. 2019 IEEE/ACM 7TH INTERNATIONAL WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2019), 2019, : 109 - 118
  • [7] Formalization of Functional Block Diagrams Using HOL Theorem Proving
    Abdelghany, Mohamed
    Tahar, Sofiene
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2022, 2022, 13768 : 22 - 35
  • [8] Towards the formal performance analysis of multistate coherent systems using HOL theorem proving
    Murtza, Shahid Ali
    Ahmed, Waqar
    Rashid, Adnan
    Hasan, Osman
    [J]. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2023, 237 (01) : 180 - 194
  • [9] Towards Evolutionary Theorem Proving for Isabelle/HOL
    Nagashima, Yutaka
    [J]. PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCCO'19 COMPANION), 2019, : 419 - 420
  • [10] A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving
    Abdelghany, Mohamed
    Rashid, Adnan
    Tahar, Sofiene
    [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, 2024, 14690 : 298 - 314
12345