Kan du nøyaktig beskrive hva en "riktig tilstand" av systemet ditt er? I så fall har du en induktiv invariant. Det betyr at systemet ditt er mindre sannsynlig å gjøre dårlige ting OG du er nærmere å bevise det. Vi skrev en guide om hvordan du kommer deg dit ⬇️

Å definere "riktig tilstand" er overraskende vanskelig. Quints nyeste funksjon gjør den tilgjengelig med interaktive tilbakemeldinger som lærer deg hva du gikk glipp av.

I dagens blogg viser vi trinn-for-trinn-prosessen med pålitelig kringkasting, starter generelt og lar Quint avgrense tankegangen vår til vi fikk det riktig. Finn ut hvordan: