Patent Assignment
Reel/Frame 055607/0375
Assignment of Assignor's Interest
Recorded: 2021-03-16
Pages: 9
Assignors
SUTHERLAND, ANDREW
Executed: 2018-05-03
ROSENBERG, JONATHAN B.
Executed: 2018-05-02
SULLIVAN, GREGORY T.
Executed: 2019-05-31
Assignee
DOVER MICROSYSTEMS, INC.
203 CRESCENT ST., SUITE 108, WALTHAM, MASSACHUSETTS, 02453
Covered Property
(1)
Systems and Methods for Checking Safety Properties