Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Sécurité (propriété de programme)

En informatique, notamment en model checking ou en analyse statique, la sécurité est pour un programme le fait de ne pas sortir d'un certain ensemble d'états. Notamment, on va exclure la sortie d'un ensemble d'états « sûrs » (les autres indiquant des erreurs).

Comparer avec : vivacité