U.S. federal trademark · Serial No. 85205706 · Reg. No. 3997630
Computer software for mathematically proving the correctness, i.e., formally verifying, of digital circuits
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.