On the effective deployment of functional formal verificationYael Abarbanel-VinovNeta Aizenbud-Reshefet al.2001Formal Methods in System Design