Padon, O., McMillan, K., Panda, A., Sagiv, M. and Shoham, S. Ivy: Interactive Verification of Parametrized Systems via Effectively Propositional Reasoning. PLDI 2016.