Skip to content

Goodbye Bugs!

Software is everywhere, and so are defects. However, we can do better! This is the place where we apply state-of-the-art methods to find vulnerabilities in software. Formal methods based on math and logic.

By proceeding you understand and give your consent that your IP address and browser information might be processed by the security plugins installed on this site.
×
GDPR Cookie Consent with Real Cookie Banner