Petra

A new way to code reliably

30 followers

30 followers

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

Launch date

Petra A new way to code reliably

Launched on September 30th, 2025