Assignee

GANAI MALAY

US2 patents

Top patents by PatentIndex Score

US8707272B2Apr 22, 2014

Scenario driven concurrency bugs: model and check

GANAI MALAY6 citations69

US8504330B2Aug 6, 2013

Parallelizing bounded model checking using tunnels over a distributed framework

GANAI MALAY0 citations37