The following services are offered for CTESK:

• Support
  Updating product versions, answers for users’ requests, news.
• Training courses
  Training on mastering the toolkit and technology. Training courses are conducted both at ISP RAS and on-site.
  (more info about training)
• Pilot projects
  UniTESK team provides in-depth training on mastering of testing art based on formal specifications and deploying CTESK tools in customer processes. With that end in view UniTESK experts participate in pilot projects in which CTESK is used for the first time for trying of some sort of software.
• Test development
  Test development, new software development and redesign of legacy software along with development specifications, documentation and tests.
• Consulting
  Consulting on the OLVER test suite depeloved in the Linux Verification Center .