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!