Assignee
GANAI MALAY
US·2 granted patents·1 pending application·6 citations·filing 2008–2012
Technology mixG06F3
Top patents by PatentIndex Score
3 records- 0177US8707272B2Scenario driven concurrency bugs: model and checkGANAI MALAY·Filed 2012·Granted Apr 22, 2014·6 cites·6 claims
- 0246US8504330B2Parallelizing bounded model checking using tunnels over a distributed frameworkGANAI MALAY·Filed 2008·Granted Aug 6, 2013·0 cites·19 claims
- 0338US2012151271A1Mat-reduced symbolic analysisGANAI MALAY·Filed 2011·Application pending·0 cites
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →