a QUest for an Inductive Proof
Quip is an algorithm for Hardware Model Checking developed by Arie Gurfinkel and Alexander Ivrii.
Arie Gurfinkel and Alexander Ivrii