Verification at DNV — BranchFactor