Contact
Get in touch
Whether you are exploring formal verification for your infrastructure, seeking a research partnership, or have questions about our work, our team is available to discuss how SAT solving technology can address your specific requirements.
Offices
Response times
We review all inquiries within two business days. Partnership and verification service requests are routed to the relevant technical team for evaluation. For urgent matters, please indicate the time sensitivity in your message.