Yael Abarbanel-Vinov Neta Aizenbud-Reshef Ilan Beer Cindy Eisner Daniel Geist Tamir Heyman Iris Reuveni Eran Rippel Irit Shitsevalov Yaron Wolfsthal Tali Yatzkar-Haham On the Effective Deployment of Functional Formal Verification. 35-44 2001 19 Formal Methods in System Design 1 db/journals/fmsd/fmsd19.html#Abarbanel-VinovABEGHRRSWY01