Verification Summit 2013 (3)