U.S. federal trademark · Serial No. 76117234 · Reg. No. 335017
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.