Petracode

Have you every wanted to prove your critical business systems correctly transition between states? Petra makes this possible, through its all-in-one integrated formal modelling and software development language standard. Petra is an object-oriented based programming language, that builds on ideas from formal verification to provide a step change in the way we build and verify complex software systems. For more information please visit our website: We are looking for enthusiastic people interested in Java, Kotlin, object-orientated, functional, distributed systems, software verification and formal logic.