Yes, we provide companies with evaluation licences, which gives you access to our software for evaluation purposes.
We offer named-user licences for a fixed period of time, typically ranging from one to three years. We can also offer bespoke packages where required to provide the flexibility that best suit your needs.
Get in touch with us at info@cocotec.io. We look forward to hearing from you!
We provide a helpdesk service for our commercial users, and respond to queries in accordance with our service level agreement. We also schedule in person visits or remote sessions online on a regular basis with our customers, and will schedule technical calls to provide additional support if the need arises.
Yes, a commercial licence includes access to all software releases during the term of your licence for the product you've purchased.
Yes, we can offer consultancy support for our customers. We also work closely with consultancy companies, who have teams specialising in Coco and our tools, and can provide these services to our customers.
Yes, we offer a basics course, for developers who are new to Coco, and an advanced course. Each course is two full days and consists of a combination of lectures and hands-on experience. These can be run in person or live online.
Yes, Popili is installed locally on your machine, and you can then choose whether you would like to use our remote verification service or only run the verification locally.
Our code generators run locally on your machine, and the generated code remains there too.
Verification is CPU and memory intensive. Our remote verification provides more resources so that you can verify larger systems, faster. Further, verification results are cached and shared between team members on the same project. Loading cached results is very fast, and avoids re-verifying models unnecessarily.
