Shaked Flur

Follow

Person

Misgav, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Model checking of liveness property in a phase abstracted model
- Patent number 8,627,273
- Issue date Jan 7, 2014
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of design redundancy
- Patent number 8,554,522
- Issue date Oct 8, 2013
- International Business Machines Corporation
- Shaked Flur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of models using concurrent model-reduction and...
- Patent number 8,417,507
- Issue date Apr 9, 2013
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of models using concurrent model-reduction and...
- Patent number 8,244,516
- Issue date Aug 14, 2012
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Formal Verification of Models Using Concurrent Model-Reduction and...
- Publication number 20120203535
- Publication date Aug 9, 2012
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION OF DESIGN REDUNDANCY
- Publication number 20110144958
- Publication date Jun 16, 2011
- International Business Machines Corporation
- Shaked Flur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL
- Publication number 20110022373
- Publication date Jan 27, 2011
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Formal Verification of Models Using Concurrent Model-Reduction and...
- Publication number 20090326886
- Publication date Dec 31, 2009
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING