<p>
Open standard for scalable formal software verification
</p>
<p>
<a href="https://www.producthunt.com/products/petra-code-with-no-errors?utm_campaign=producthunt-atom-posts-feed&utm_medium=rss-feed&utm_source=producthunt-atom-posts-feed">Discussion</a>
|
<a href="https://www.producthunt.com/r/p/1021209?app_id=339">Link</a>
</p>
2 months, 3 weeks ago: Product Hunt — The best new products, every day