Patent Assignment
Reel/Frame 026373/0592
Assignment of Assignor's Interest
Recorded: 2011-06-01
Pages: 3
Assignors
VALDIVIEZO BASAURI, MANUEL JAVIER
Executed: 2011-03-11
CIFUENTES, CRISTINA N.
Executed: 2011-03-11
Assignee
ORACLE INTERNATIONAL CORPORATION
500 ORACLE PARKWAY, REDWOOD SHORES, CALIFORNIA, 94065
Covered Property
(1)
Efficient Model Checking Technique for Finding Software Defects