Pouvez-vous décrire précisément ce qu’est un « état correct » de votre système ? Si c’est le cas, vous avez un invariant inductif. Cela signifie que votre système est moins susceptible de faire de mauvaises choses ET que vous êtes plus près de le prouver. Nous avons rédigé un guide sur la façon de s’y ⬇️ rendre

Définir « l’état correct » est étonnamment difficile. La dernière fonctionnalité de Quint le rend accessible avec des commentaires interactifs qui vous apprennent 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 général et en laissant Quint affiner notre réflexion jusqu’à ce que nous ayons raison. Découvrez comment :