Towards Formal Fault Tree Analysis using Theorem Proving.
Waqar AhmadOsman HasanPublished in: CoRR (2015)
Keyphrases
- theorem proving
- fault tree analysis
- fuzzy numbers
- fault tree
- decision procedures
- first order logic
- automated reasoning
- automated deduction
- inference rules
- theorem prover
- parallel search
- automatic programming
- term rewriting
- logical inference
- automated theorem proving
- model theoretic
- proof procedure
- consequence finding
- geometry theorem proving
- formal model
- fault diagnosis
- control system
- predicate calculus
- fuzzy sets
- combinatorial search
- machine learning
- timed automata
- data analysis
- pattern recognition