Sûreté (propriété de programme)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En informatique, notamment en méthode formelle, la sûreté (en anglais safety) est pour un programme le fait de ne pas sortir d'un certain ensemble d'états. Notamment, on exclut la sortie d'un ensemble d'états « sûrs » (les autres indiquant des erreurs).

C'est avec la vivacité l'une des deux propriétés théoriques fondamentales des programmes informatiques.