Le problème
Les affirmations sur l’incertitude sont souvent vagues.
FVLR
Formal Verification & Layered Representation .fvlr
Vérification et gouvernanceEn développementPropriétaire
Ce qu’il fait
Énonce l’incertitude sous forme d’affirmations et d’obligations formelles exactes, vérifiables et rejouables.
Portée et limites
Toute preuve ne couvre que les abstractions et hypothèses qui lui sont fournies.