Probabilistic analysis of dynamic fault trees using HOL theorem proving

被引：0
|
作者：
Elderhalli, Yassmeen [1 ]
Ahmad, Waqar [1 ]
Hasan, Osman [1 ]
Tahar, Sofiène [1 ]
机构：
[1] Electrical and Computer Engineering, Concordia University, Montreal,QC, Canada
来源：
Journal of Applied Logics | 2019年 / 6卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：469 / 511
相关论文
共 50 条
  • [1] 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
  • [2] A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
    Elderhalli, Yassmeen
    Hasan, Osman
    Tahar, Sofiene
    [J]. IEEE ACCESS, 2019, 7 : 136176 - 136192
  • [3] 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
  • [4] Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking
    Elderhalli, Yassmeen
    Hasan, Osman
    Ahmad, Waqar
    Tahar, Sofiene
    [J]. NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 139 - 156
  • [5] 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
  • [6] Error analysis of digital filters using HOL theorem proving
    Electrical and Computer Engineering Department, Concordia University, Montreal, Canada
    [J]. J. Appl. Logic, 2007, 4 SPEC. ISS. (651-666):
  • [7] Hybrid interactive theorem proving using Nuprl and HOL
    Felty, AP
    Howe, DJ
    [J]. AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 351 - 365
  • [8] 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
  • [9] Probabilistic Analysis of Wireless Systems Using Theorem Proving
    Hasan, Osman
    Tahar, Sofiene
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 242 (02) : 43 - 58
  • [10] 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
12345