Irfan Waheed

Follow

Person

Austin, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method for piecewise hierarchical sequential verification
- Patent number 8,448,107
- Issue date May 21, 2013
- Apple Inc.
- Nathan Francis Sheeley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for preparing for and formally verifying a modified integrat...
- Patent number 8,429,580
- Issue date Apr 23, 2013
- Apple Inc.
- Raymond C. Yeung
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD FOR PREPARING FOR AND FORMALLY VERIFYING A MODIFIED INTEGRAT...
- Publication number 20110307848
- Publication date Dec 15, 2011
- Raymond C. Yeung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method For Piecewise Hierarchical Sequential Verification
- Publication number 20110214096
- Publication date Sep 1, 2011
- Intrinsity, Inc.
- Nathan Francis Sheeley
- G06 - COMPUTING CALCULATING COUNTING