WIPO international registration designating the UK WO0000001948039
Text representation
Generated from the official word element so every word-mark card has a visual. It is not an official figurative logo.
Official source data
Nice classification
Wording supplied in the official WIPO ROMARIN update WIPO-20261030.
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.