Formale Verifikation ermöglicht Vertrauen im großen Maßstab