Der Fokus auf formale Verifikation signalisiert einen Übergang von experimentellen zu produktionsreifen Systemen.