Run it inside your environment
C Note and the C Proof Engine run inside your environment. Your code, data and builds stay where they are.
License and environment
-
Open language
Chelis and its compiler are open source under MIT. Your security team can read the compiler's source on GitHub.
-
Enterprise license
The C Proof Engine and C Note run under an enterprise license that covers production use and support.
-
Your environment
On premises or in your own cloud account, with no hosted C Proof service involved.
Choose a deployment
Try C Note in the browser, or talk to us about running it inside your environment.