<https://www.softwareverify.com/#/schema/logo/image/>
<http://schema.org/url>
<https://www.softwareverify.com/wp-content/uploads/2022/03/software-verify-logo-h64.png>
<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/>