All activity
Petra is the world's first developer friendly and open standard for scalable formal software verification (object-oriented) with professional developer tools.
Back our Kickstarter today & fast track your access & learning!
PetraA new way to code reliably
Aran Hakkileft a comment
Have you ever wanted to take a look at code and gain confidence that it's actually doing what was intended? Most programming systems are far detached from the everyday language used in organizations and businesses, and these systems do not capture and formally verify critical logic (state transitions) that they rely on. To solve this we are launching a new programming paradigm called Petra...
PetraA new way to code reliably