U.S. federal trademark · Serial No. 79266744 · Reg. No. 6132482
Research and development services regarding new products in the field of computer programming and safety verification; computer programming; updating and verifying of computer programs for third parties; consultancy in the field of systems development and verification of computer systems; research and development services in the field of formal verification technology; industrial design; engineering services related to special software modules, namely, equivalence checking of combinational circuits being chips and design and development of automated verification solutions based on model checking techniques
Registered recorded computer programs for verifying systems; recorded computer applications programs for configuring data processing equipment in accordance with pre-established criteria; generic recorded software modules implementing decisions procedures, each for a certain logic; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying software and hardware systems
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.