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.
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences