Matan Gal

Follow

Person

Kiryat Tivon, IL

People

Patents Grantslast 30 patents

Information Patent Grant
System for quickly specifying formal verification environments
- Patent number 8,127,261
- Issue date Feb 28, 2012
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System for Quickly Specifying Formal Verification Environments
- Publication number 20100185992
- Publication date Jul 22, 2010
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING