An approach for lifetime reliability analysis using theorem proving.
Naeem AbbasiOsman HasanSofiène TaharPublished in: J. Comput. Syst. Sci. (2014)
Keyphrases
- theorem proving
- reliability analysis
- first order logic
- theorem prover
- automated deduction
- automated reasoning
- decision procedures
- term rewriting
- inference rules
- parallel search
- proof procedure
- logical inference
- geometry theorem proving
- automatic programming
- consequence finding
- predicate calculus
- combinatorial search
- automated theorem proving
- condition monitoring
- proof planning
- machine learning
- equational theories
- natural deduction
- power plant
- soft computing
- query language
- bayesian networks