U.S. federal trademark · Serial No. 76180990 · Reg. No. 2703650
COMPUTER SOFTWARE THAT PERFORMS AUTOMATED LOGICAL REASONING AND ARE COMMONLY INTEGRATED INTO SYSTEM DEVELOPMENT TOOLS AND ENVIRONMENTS
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.