Kun je precies beschrijven wat een "juiste staat" van jouw systeem is? Zo ja, dan heb je een inductieve invariant. Dat betekent dat jouw systeem minder waarschijnlijk slechte dingen zal doen EN dat je dichter bij het bewijzen ervan bent. We hebben een gids geschreven over hoe je daar kunt komen ⬇️

Het definiëren van "juiste staat" is verrassend moeilijk. De nieuwste functie van Quint maakt het toegankelijk met interactieve feedback die je leert wat je gemist hebt.

In de blog van vandaag tonen we het stapsgewijze proces met betrouwbare uitzending, beginnend algemeen en laten we Quint ons denken verfijnen totdat we het goed hebben. Leer hoe: