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
Providing temporary use of non-downloadable software, software applications and software based tools accessible via a website for signaling engineering and planning of railway and other railbound traffic
Recorded computer programs, software based tools being computer software, and applications being computer application software for mobile phones for signaling engineering and planning for use in the railway, tramway and subway fields; "STUDIO"
Recorded computer programs, software based tools being computer software, and applications being computer application software for mobile phones for signaling engineering and planning for use in the railway, tramway and subway fields
Registered computer programs, namely, recorded software based tools for configuring, developing and verification of other software; 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 for safety critical applications; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems | Arranging and conducting of seminars; provision of introductory and advanced courses on the topic of integration of computer systems and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs; practical training taught via demonstration in the fields of computer programming and safety verification | 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; rental of computer software; all of the foregoing relating to software for configuring, developing and verification of other software
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 for various safety critical applications; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems | 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 | 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 for various safety critical applications for rail control systems; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems | Arranging and conducting of seminars; provision of introductory and advanced courses on the topic of integration of computer systems and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs; practical training taught via demonstration in the fields of computer programming and safety verification of hardware and software systems | 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
