This HTML5 document contains 5 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
isaphttp://webisa.webdatacommons.org/prov/
isahttp://webisa.webdatacommons.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4regehr.
Subject Item
isa:398879406
rdf:type
prov:Entity
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
prov:wasQuotedFrom
n4:org
Subject Item
isap:168726380
prov:wasDerivedFrom
isa:398879406
Subject Item
isap:356843920
prov:wasDerivedFrom
isa:398879406