Petra

Petra

A new way to code reliably

31 followers

Visit website
Petra enables scalable formal software verification (object-oriented) through training and professional developer tools.