Michael Shamis

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

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
Formal Verification of Models Using Concurrent Model-Reduction and...
- Publication number 20090326886
- Publication date Dec 31, 2009
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING