AI –

Nov 21, 2025 5 min read

AI Meets Formal Methods: Deploying HES-SO’s Verified Code Pipeline on Exoscale

Proactive Code Security: Combining Scala’s Type System, Formal Verification, and Exoscale’s Cloud Infrastructure