Mark Identification

PROVER PLUG-IN

Serial Number

76180990

Filing Date

Dec 12, 2000

Registration Date

Apr 8, 2003

Trademark by

Classification Information

COMPUTER SOFTWARE THAT PERFORMS AUTOMATED LOGICAL REASONING AND ARE COMMONLY INTEGRATED INTO SYSTEM DEVELOPMENT TOOLS AND ENVIRONMENTS