Dana Fisman Ofek

Follow

Person

New Haven, CT, US

People

Patents Grantslast 30 patents

Information Patent Grant
Formal verification of temporal properties expressed using local va...
- Patent number 9,390,208
- Issue date Jul 12, 2016
- Synopsys, Inc.
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Formal Verification of Temporal Properties Expressed Using Local Va...
- Publication number 20140372967
- Publication date Dec 18, 2014
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING