Deploy VerCors to Europe — Marieke Huisman 🇳🇱 + University of Twente (2011), the Viper-Based Concurrent Program Verifier for Java, C, and OpenCL, on EU Infrastructure in 2026
Deploy VerCors to EU servers in minutes. sota.io is the EU-native PaaS — GDPR-compliant, managed PostgreSQL, zero DevOps. VerCors by Marieke Huisman 🇳🇱 + Wytse Oortwijn 🇳🇱 (University of Twente, ICFEM 2017) — deductive verifier for concurrent and distributed Java, C, and OpenCL programs. Translates annotated source to Viper (ETH Zurich 🇨🇭) via Silicon/Z3. Specification language: //@ requires P; ensures Q; in Java/C comments. Permission model: Perm(x.f, 1) heap ownership (Viper IDF). Concurrent: thread annotations, lock invariants, atomic operations, OpenCL kernel contracts. Prototypal Verification Language (PVL) for teaching/research. University of Twente 🇳🇱 (Enschede, NWO + Horizon 2020 funded). Industrial: ASML 🇳🇱 (EUV lithography), NXP Semiconductors 🇳🇱, Philips Healthcare 🇳🇱. EU AI Act Art. 9. IEC 61508. GDPR Art. 25. Apache 2.0 licence. Free tier.