Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework.

Published in: Sci. Comput. Program. (2015)

Keyphrases