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