Sagi Katz

Follow

Person

Binyamina, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Identification of missing properties in model checking
- Patent number 7,120,568
- Issue date Oct 10, 2006
- Marvell Semiconductor Israel Ltd.
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING