Membership
Tour
Register
Log in
Huayang Guo
Follow
Person
Beijing, CN
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Dynamic interface reduction for software model checking
Patent number
8,671,396
Issue date
Mar 11, 2014
Microsoft Corporation
Ming Wu
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
DYNAMIC INTERFACE REDUCTION FOR SOFTWARE MODEL CHECKING
Publication number
20120311542
Publication date
Dec 6, 2012
Microsoft Corporation
Ming Wu
G06 - COMPUTING CALCULATING COUNTING