Patent Assignment
Reel/Frame 027423/0810
Assignment of Assignor's Interest
Recorded: 2011-12-21
Pages: 10
Assignors
CONRAD, MIRKO
Executed: 2011-10-21
LIN, XIAOCANG
Executed: 2011-10-14
YAN, JUN
Executed: 2011-10-24
SZPAK, PETER
Executed: 2011-10-31
NIRAKH, APPA RAO
Executed: 2011-10-31
SHANKAR, JAYA
Executed: 2011-10-24
Assignee
THE MATHWORKS, INC.
3 APPLE HILL DRIVE, NATICK, MASSACHUSETTS, 01760
Covered Property
(1)
Using Intermediate Representations to Verify Computer-Executable Code Generated from a Model