Crash-free Deductive Verifiers. - Wander Nauta; Marcus Gerhold; Marieke Huisman (CoRR, 2026)