Il parle de preuve de terminaison, pas de correction apparemment.
En formel, j'imagine qu'on doit quand même pouvoir (théoriquement au moins) prouver quelques propriétés, du genre pas de segfault, de dépassement de capacité, ou des choses comme ça, mais pas que le programme fait pas du tout ce qu'il est censé faire (là effectivement il doit falloir des specs détaillées, et écrites formellement)
[^] # Re: comment elle marche l'évaluation ?
Posté par thoasm . En réponse au journal Ohloh, un nouvel annuaire de projet Open Source. Évalué à 2.
En formel, j'imagine qu'on doit quand même pouvoir (théoriquement au moins) prouver quelques propriétés, du genre pas de segfault, de dépassement de capacité, ou des choses comme ça, mais pas que le programme fait pas du tout ce qu'il est censé faire (là effectivement il doit falloir des specs détaillées, et écrites formellement)