Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.
Yassmeen ElderhalliWaqar AhmadOsman HasanSofiène TaharPublished in: FLAP (2019)
Keyphrases
- theorem proving
- theorem prover
- logical inference
- first order logic
- inference rules
- decision procedures
- parallel search
- proof planning
- term rewriting
- automatic programming
- artificial intelligence
- automated deduction
- consequence finding
- automated theorem proving
- proof procedure
- automated reasoning
- semantic network
- logic programs