Francesco Logozzo

Follow

Person

Bellevue, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Efficient invariant inference for program verification
- Patent number 8,453,116
- Issue date May 28, 2013
- Microsoft Corporation
- Francesco Logozzo
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SEMANTIC BASELINING
- Publication number 20140337819
- Publication date Nov 13, 2014
- Microsoft Corporation
- Manuel Fahndrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM REPAIR
- Publication number 20130339929
- Publication date Dec 19, 2013
- Microsoft Corporation
- Francesco Logozzo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT INVARIANT INFERENCE FOR PROGRAM VERIFICATION
- Publication number 20100131929
- Publication date May 27, 2010
- Microsoft Corporation
- Francesco Logozzo
- G06 - COMPUTING CALCULATING COUNTING