← Tous les langages

VECS

Verified Evaluation Criterion Specification .vecs

Vérification et gouvernanceEn développementPropriétaire

Le problème

Un système ne devrait pas pouvoir déplacer ses propres objectifs.

Ce qu’il fait

Définit des critères d’évaluation aux résultats bornés et déterministes.

Portée et limites

Ne peut ni modifier sa propre grille ni approuver une promotion. Il ne prouve pas que les critères sont corrects.