The following services are offered for SynTESK:

• 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.
• Pilot projects
  UniTesK team provides in-depth training on mastering of testing art based on formal specifications and deploying SynTESK tools in customer processes. With that end in view UniTESK experts participate in pilot projects in which SynTESK 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.