DO

Dana Fisman Ofek

SY Synopsys: 1 patents #1,143 of 2,302Top 50%
📍 New Haven, CT: #583 of 1,003 inventorsTop 60%
🗺 Connecticut: #21,355 of 34,797 inventorsTop 65%
Overall (All Time): #3,008,969 of 4,157,543Top 75%
1
Patents All Time

Issued Patents All Time

Showing 1–1 of 1 patents

Patent #TitleCo-InventorsDate
9390208 Formal verification of temporal properties expressed using local variables Roy Armoni, Naiyong Jin 2016-07-12