Mark Identification

PROVER

Serial Number

76117234

Filing Date

Aug 25, 2000

Registration Date

Feb 4, 2003

Trademark by

Active Trademark

Classification Information

Computer software that performs automated logical reasoning and are commonly integrated into system development tools and environments