El problema
Las afirmaciones sobre la incertidumbre suelen ser vagas.
FVLR
Formal Verification & Layered Representation .fvlr
Verificación y gobernanzaEn desarrolloPropietario
Qué hace
Expresa la incertidumbre como afirmaciones y obligaciones formales exactas, comprobables y reproducibles.
Alcance y límites
Toda prueba cubre solo las abstracciones y supuestos que se le proporcionan.