Dries Vanoverberghe

Follow

Person

Redmond, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Symbolic runtime checking of quantified contracts
- Patent number 8,387,021
- Issue date Feb 26, 2013
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Symbolic Runtime Checking of Quantified Contracts
- Publication number 20100083233
- Publication date Apr 1, 2010
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING