U.S. federal trademark · Serial No. 90511011
Computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware and embedded software for computer security and reliability, namely, computer hardware and software for formal verification
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.