Das Problem
Aussagen über Unsicherheit sind oft vage.
FVLR
Formal Verification & Layered Representation .fvlr
Verifikation & GovernanceIn EntwicklungProprietär
Was sie tut
Formuliert Unsicherheit als exakte formale Aussagen und Verpflichtungen, die geprüft und wiederholt werden können.
Umfang & Grenzen
Jeder Beweis gilt nur für die ihm vorgegebenen Abstraktionen und Annahmen.