Sûreté (propriété de programme)
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant la sécurité informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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.