¿Puedes describir con precisión cuál es un "estado correcto" de tu sistema? Si es así, tienes un invariante inductivo. Eso significa que tu sistema es menos propenso a hacer cosas malas Y estás más cerca de probarlo. Escribimos una guía sobre cómo llegar allí ⬇️

Definir el "estado correcto" es sorprendentemente difícil. La nueva función de Quint lo hace accesible con retroalimentación interactiva que te enseña lo que te perdiste.

En el blog de hoy, mostramos el proceso paso a paso con una transmisión confiable, comenzando de manera general y dejando que Quint refine nuestro pensamiento hasta que lo hicimos bien. Aprende cómo: