je voulait parler des methode de preuve de code. ce qui te garanti que le programme fait bien ce qu'il est censé faire. c'est super long et dur a faire surtout qu'il faut que t'es spécification du programme soit correct ( ce ni n'est pas evidement voir infessable pour des vrai programmes).
enfin bref dire que son système est sans bug est une peu prétencieux (en dehors des tout petits programmes simple).
[^] # Re: Fonctionnalités?
Posté par pastro . En réponse à la dépêche Orange lance un terminal Internet sous GNU/linux !. Évalué à 5.
enfin bref dire que son système est sans bug est une peu prétencieux (en dehors des tout petits programmes simple).