Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving.
Shahid Ali MurtzaWaqar AhmedAdnan RashidOsman HasanPublished in: CoRR (2021)
Keyphrases
- theorem proving
- theorem prover
- formal methods
- first order logic
- automated deduction
- decision procedures
- distributed search
- parallel search
- term rewriting
- inference rules
- natural deduction
- proof planning
- automated reasoning
- proof procedure
- logical inference
- consequence finding
- data mining
- geometry theorem proving
- computer algebra systems
- artificial intelligence