Surete (propriete de programme)

Surete (propriete de programme)

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

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.

  • Portail de l’informatique Portail de l’informatique
  • Portail de la sécurité informatique Portail de la sécurité informatique
Ce document provient de « S%C3%BBret%C3%A9 (propri%C3%A9t%C3%A9 de programme) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Surete (propriete de programme) de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Sûreté (propriété de programme) — 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… …   Wikipédia en Français

  • Programme nucléaire américain — Programme nucléaire des États Unis Centrale nucléaire de Diablo Canyon, en Californie, qui est exploitée par Pacific Gas Electric. Le Programme nucléaire des États Unis a débuté lors de la Seconde Guerre mondiale, avec le projet Manhattan. Après… …   Wikipédia en Français

  • Programme nucléaire aux États-Unis — Programme nucléaire des États Unis Centrale nucléaire de Diablo Canyon, en Californie, qui est exploitée par Pacific Gas Electric. Le Programme nucléaire des États Unis a débuté lors de la Seconde Guerre mondiale, avec le projet Manhattan. Après… …   Wikipédia en Français

  • Programme nucléaire des Etats-Unis — Programme nucléaire des États Unis Centrale nucléaire de Diablo Canyon, en Californie, qui est exploitée par Pacific Gas Electric. Le Programme nucléaire des États Unis a débuté lors de la Seconde Guerre mondiale, avec le projet Manhattan. Après… …   Wikipédia en Français

  • Programme nucléaire des États-Unis — Centrale nucléaire de Diablo Canyon, en Californie, qui est exploitée par Pacific Gas Electric. Le Programme nucléaire des États Unis a débuté lors de la Seconde Guerre mondiale, avec le projet Manhattan. Après la guerre, le président Dwight… …   Wikipédia en Français

  • Liveness — Vivacité (informatique) Pour les articles homonymes, voir Vivacité. En programmation concurrente, la vivacité est le fait pour un système de garantir qu une propriété sera vraie dans un système à partir d une certaine étape de l exécution. Par… …   Wikipédia en Français

  • Vivacite (informatique) — Vivacité (informatique) Pour les articles homonymes, voir Vivacité. En programmation concurrente, la vivacité est le fait pour un système de garantir qu une propriété sera vraie dans un système à partir d une certaine étape de l exécution. Par… …   Wikipédia en Français

  • Vivacité (informatique) — Pour les articles homonymes, voir Vivacité. En programmation concurrente, la vivacité est le fait pour un système de garantir qu une propriété sera vraie dans un système à partir d une certaine étape de l exécution. Par exemple, dans un… …   Wikipédia en Français

  • Industrie nucléaire aux Etats-Unis — Programme nucléaire des États Unis Centrale nucléaire de Diablo Canyon, en Californie, qui est exploitée par Pacific Gas Electric. Le Programme nucléaire des États Unis a débuté lors de la Seconde Guerre mondiale, avec le projet Manhattan. Après… …   Wikipédia en Français

  • Anti-québécois — Québec  Cet article concerne la province canadienne. Pour l article sur la capitale, voir Québec (ville). Pour les autres significations, voir Québec (homonymie). Québec …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”