Rupak Majumdar

Follow

Person

Albany, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,657,867
- Issue date Feb 2, 2010
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,058,925
- Issue date Jun 6, 2006
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20050235257
- Publication date Oct 20, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20030204834
- Publication date Oct 30, 2003
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING