Petra - Open standard for scalable formal software verification
Petra
Open standard for scalable formal software verification
Screenshots
Hunter's comment
Petra is the world's first open standard for scalable (object-oriented) formal software verification and professional developer tools for the standard.
Link
This is posted on Steemhunt - A place where you can dig products and earn STEEM.
View on Steemhunt.com
Congratulations!
We have upvoted your post for your contribution within our community.
Thanks again and look forward to seeing your next hunt!
Want to chat? Join us on: