Shoham Ben-David

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Generation of partial traces in model checking
- Patent number 7,155,374
- Issue date Dec 26, 2006
- International Business Machines Corporation
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient production of disjoint multiple traces
- Patent number 7,146,301
- Issue date Dec 5, 2006
- International Business Machines Corporation
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Target design model behavior explorer
- Patent number 6,691,078
- Issue date Feb 10, 2004
- International Business Machines Corporation
- Ilan Beer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Time-memory tradeoff control in counterexample production
- Patent number 6,665,848
- Issue date Dec 16, 2003
- International Business Machines Corporation
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Generation of partial traces in model checking
- Publication number 20030004926
- Publication date Jan 2, 2003
- International Business Machines Corporation
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient production of disjoint multiple traces
- Publication number 20020193974
- Publication date Dec 19, 2002
- International Business Machines
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Time-memory tradeoff control in counterexample production
- Publication number 20020178423
- Publication date Nov 28, 2002
- International Business Machines Corporation
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING