Moshe Y. Vardi

Follow

Person

Bellaire, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method to analyze VLSI designs
- Patent number 7,203,631
- Issue date Apr 10, 2007
- Intel Corporation
- Ranan Fraer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Directly verifying a black box system
- Patent number 6,526,544
- Issue date Feb 25, 2003
- Lucent Technologies Inc.
- Doron A. Peled
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Detecting vacuously satisfield specifications in model checking
- Publication number 20050278153
- Publication date Dec 15, 2005
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method to analyze VLSI designs
- Publication number 20040049371
- Publication date Mar 11, 2004
- Ranan Fraer
- G06 - COMPUTING CALCULATING COUNTING