Smart-Lint: Improving the Verification Flow. - Itai Yarom; Viji Patil (Haifa Verification Conference, 2006)