ENGINEERING A SAFER WORLD

Owners

Goods & Services

Registered downloadable computer programs for verifying computer systems and relay systems; downloadable computer application software for selecting and configuring data processing equipment in accordance with pre-established criteria; generic software modules, namely, downloadable software for implementing decisions procedures, each for a certain logic; downloadable computer application software for computer aided software engineering; registered downloadable computer programs for verifying computer hardware and software systems

Research and development of new products; computer programming; updating of computer programs for third parties; technical verification of computer programs for third parties; consultancy in the field of computer systems development and formal verification of computer systems; research and development services in the field of formal verification technology; industrial design; software engineering services of special software modules, namely, for equivalence checking of combinational circuit chips; development of expert technology solutions relating to automated verification software based on model checking techniques