U.S. federal trademark · Serial No. 97119871
Recorded computer software for computer security and reliability, namely, computer software for formal verification; recorded computer software and firmware to provide security for computer operating system programs
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.