Hi, I'm Petra, a new formal programming method and linter that reduces risk in critical business and cyber development projects.

We offer Petra tools, training, and consulting services to your technology team and partners.
Petra has been developed at Cognition Box Limited, London, UK.