<https://www.softwareverify.com/#/schema/logo/image/>
<http://schema.org/width>
"178"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/>