Mark Identification

HIGHCHECK

Serial Number

85205706

Filing Date

Dec 26, 2010

Registration Date

Jul 19, 2011

Trademark by

Classification Information

Computer software for mathematically proving the correctness, i.e., formally verifying, of digital circuits