You are signed out
Join Innoget to connect with Dror Elad and thousands
of innovation-driven professionals and organizations
CEO of Provengo - Active Software Requirements (based on formal methods), enabling specification, verification and validation of reactive, complex, highly regulated, or mission critical systems
New York University
October 2002 - May 2005
Business + Operations
Provengo introduces - Active Software Requirements (based on formal methods), enabling specification, verification and validation of reactive, complex, highly regulated, or mission critical systems. A novel modeling platform, allowing users to map complete designs and specifications for reactive s[…]