7
Come possiamo sapere che i metodi formali funzionano?
Un obiettivo importante dei metodi formali è dimostrare la correttezza dei sistemi, sia con mezzi automatizzati che diretti all'uomo. Tuttavia, sembra che anche se è possibile fornire una prova di correttezza, NON si può essere in grado di garantire che il sistema non fallirà. Per esempio: Le specifiche potrebbero non …