Pouvez-vous décrire précisément ce qu'est un "état correct" de votre système ? Si oui, vous avez un invariant inductif. Cela signifie que votre système est moins susceptible de faire de mauvaises choses ET que vous êtes plus proche de le prouver. Nous avons écrit un guide sur la façon d'y parvenir ⬇️

Définir un "état correct" est étonnamment difficile. La nouvelle fonctionnalité de Quint le rend accessible grâce à un retour interactif qui vous apprend ce que vous avez manqué.

Dans le blog d'aujourd'hui, nous montrons le processus étape par étape avec une diffusion fiable, en commençant par le général et en laissant Quint affiner notre réflexion jusqu'à ce que nous y parvenions. Découvrez comment :