A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving.
Yassmeen ElderhalliOsman HasanSofiène TaharPublished in: IEEE Access (2019)
Keyphrases
- theorem proving
- formal verification
- theorem prover
- automated reasoning
- first order logic
- automated deduction
- model checking
- automated verification
- inference rules
- decision procedures
- model checker
- term rewriting
- consequence finding
- proof planning
- parallel search
- symbolic model checking
- automated theorem proving
- natural deduction
- logical inference
- decision trees
- proof procedure
- combinatorial search
- automatic programming
- bounded model checking
- distributed search
- temporal logic
- fault diagnosis
- timed automata
- artificial intelligence
- equational theories
- geometry theorem proving