A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving.

Yassmeen Elderhalli Osman Hasan Sofiène Tahar

Published in: CICM (2020)

Keyphrases

theorem proving
theorem prover
automated reasoning
term rewriting
first order logic
inference rules
parallel search
formal model
automated deduction
artificial intelligence
search algorithm
data model
decision procedures
proof procedure
automated theorem proving
consequence finding