Serial Number
85205706
Owner
Aries Design Automation, LLCFirst Use Date
Dec 24, 2010
Filing Date
Dec 26, 2010
HIGHCHECK Trademark
Serial Number: 85205706 • Registration: 3997630
Trademark Classes
Owner Contact Info
Trademark Details
Filing Date
December 26, 2010
Registration Date
July 19, 2011
First Use Anywhere
December 24, 2010
First Use in Commerce
December 24, 2010
Published for Opposition
May 3, 2011
Cancellation Date
February 23, 2018
Goods & Services
Computer software for mathematically proving the correctness, i.e., formally verifying, of digital circuits