Support

CTESK 2.1 Community Edition support contains the following services:

  • Support
    Bug fixing, 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.
  • 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