Beyond Vacuity: Towards the Strongest Passing Formula Hana Chockler Arie Gurfinkel Ofer Strichman Technion - Israel Institute of Technology IBM Research SEI Technion (Appeared…