Sûreté (propriété 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.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Sûreté (propriété de programme) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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… … 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
