Kan du exakt beskriva vad ett "korrekt tillstånd" i ditt system är? I så fall har du en induktiv invariant. Det betyder att ditt system är mindre sannolikt att göra dåliga saker OCH du är närmare att bevisa det. Vi har skrivit en guide om hur du tar dig dit ⬇️

Att definiera "korrekt tillstånd" är förvånansvärt svårt. Quints senaste funktion gör den lättillgänglig med interaktiv feedback som lär dig vad du missat.

I dagens blogg visar vi den stegvisa processen med tillförlitlig sändning, där vi börjar allmänt och låter Quint förfina vårt tänkande tills vi får det rätt. Lära sig: