Die formale Verifikation bietet Leitplanken. Der beste Zeitpunkt, um Tools wie @quint_lang zu nutzen, ist heute, nicht morgen