Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving.
Yassmeen ElderhalliOsman HasanSofiène TaharPublished in: CoRR (2019)
Keyphrases
- theorem proving
- theorem prover
- automated reasoning
- decision procedures
- term rewriting
- first order logic
- automatic programming
- automated deduction
- parallel search
- logical inference
- proof planning
- natural deduction
- automated theorem proving
- proof procedure
- inference rules
- propositional logic
- ambient intelligence
- knowledge base