| http://www.w3.org/ns/prov#value | - A more reasonable high-level goal for software verification might be ???increase, to the largest possible extent given the methods available, total system utility.??? ???Total system utility??? has both positive and negative components, and verification is mainly about mitigating some of the negative components, or costs, including not just development and manufacturing costs, but also maintenance
|
