Formal Availability Analysis Using Theorem Proving.

Waqar Ahmad Osman Hasan

Published in: ICFEM (2016)

Keyphrases

theorem proving
automated reasoning
theorem prover
parallel search
proof procedure
natural language
automatic programming