Patent Assignment
Reel/Frame 041667/0730
Assignment of Assignor's Interest
Recorded: 2017-03-21
Pages: 8
Assignors
BAUMGARTNER, JASON R.
Executed: 2017-03-11
GAJAVELLY, RAJ K.
Executed: 2017-03-09
MONY, HARI
Executed: 2017-03-14
NALLA, PRADEEP K.
Executed: 2017-03-09
Assignee
INTERNATIONAL BUSINESS MACHINES CORPORATION
NEW ORCHARD ROAD, ARMONK, NEW YORK, 10504
Covered Property
(1)
Adaptive Bug-Search Depth for Simple and Deep Counterexamples