Stephen McCamant

Follow

Person

Boston, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Using dynamic analysis to improve model checking
- Patent number 7,962,901
- Issue date Jun 14, 2011
- Microsoft Corporation
- Stephen McCamant
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Using dynamic analysis to improve model checking
- Publication number 20070244942
- Publication date Oct 18, 2007
- Microsoft Corporation
- Stephen McCamant
- G06 - COMPUTING CALCULATING COUNTING