Oh si, plus que tu ne peux l'imaginer, ca ne veut pas dire qu'ils couvrent tous les cas possibles et imaginables par contre, verifier qu'un bout de code non-trivial est correct est un probleme d'une complexite enorme et qu'il est impossible de resoudre aujourd'hui.
[^] # Re: Apple , HP ou Sun
Posté par pasBill pasGates . En réponse au journal Victoire de RMS sur Microsoft. Évalué à 7.