Vladimir Levin

Follow

Person

New Providence, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Static partial order reduction
- Patent number 6,295,515
- Issue date Sep 25, 2001
- Lucent Technologies Inc.
- Robert Paul Kurshan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying hardware in its software context and vice-versa
- Patent number 6,209,120
- Issue date Mar 27, 2001
- Lucent Technologies, Inc.
- Robert Paul Kurshan
- G06 - COMPUTING CALCULATING COUNTING