Assignee
MAEDA NAOTO
JP·2 granted patents·1 pending application·10 citations·filing 2008–2011
Technology mixG06F3
Top patents by PatentIndex Score
3 records- 0176US8719793B2Scope bounding with automated specification inference for scalable software model checkingMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·8 claims
- 0272US8719802B2Interprocedural exception methodMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·22 claims
- 0343US2010199264A1Pattern inspection system, pattern inspection device, method and pattern inspection programMAEDA NAOTO·Filed 2008·Application pending·0 cites
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →