Downloadable computer software for the analysis, testing and verification of algorithms; recorded computer software for the analysis, testing and verification of algorithms

Business consulting services in the field of information technology; business consulting services in the field of computer-based information systems

Providing temporary use of non-downloadable software for the analysis, testing and verification of algorithms; technology services, namely, the design, testing and management of financial computer systems