Formal Availability Analysis using Theorem Proving.

Waqar Ahmad Osman Hasan

Published in: CoRR (2016)

Keyphrases

theorem proving
decision procedures
first order logic
theorem prover
automated deduction