U.S. federal trademark · Serial No. 99945922
Downloadable software development tools for performing formal verification of computer software using mathematical methods to determine whether the software satisfies formal specifications; Downloadable computer software for performing formal verification of digital hardware designs using mathematical methods to determine whether the designs satisfy formal specifications
Providing temporary use of on-line non-downloadable software development tools for performing formal verification of computer software using mathematical methods to determine whether the software satisfies formal specifications; Providing temporary use of online non-downloadable computer software for performing formal verification of digital hardware designs using mathematical methods to determine whether the designs satisfy formal specifications; Application service provider featuring application programming interface (API) software for performing formal verification of computer software using mathematical methods to determine whether the software satisfies formal specifications; Application service provider featuring application programming interface (API) software for performing formal verification of digital hardware designs using mathematical methods to determine whether the designs satisfy formal specifications
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.