verificación formal
Uso de métodos matemáticos para demostrar que un sistema o un conjunto de reglas cumple ciertas propiedades, en lugar de comprobarlo solo con pruebas puntuales.
Uso de métodos matemáticos para demostrar que un sistema o un conjunto de reglas cumple ciertas propiedades, en lugar de comprobarlo solo con pruebas puntuales.