Meet PETRA.

 

PETRA allows you to adapt faster with less risk and cost. Beat the competition.

Trust Your Code.

WE CAN HELP YOU TO AVOID:

Opportunity Loss

Reputation Damage

Operational Mistakes

Regulatory Fines

Legal Issues

CAUSED BY:

Downtime

Data Errors

Data Loss

Security Breaches

WE ACHIEVE THIS BY:

Looking after your core business processes, through our pragmatic software verification system.

HOW?

Use our system to model and build your Java business processes and then verify the flows automatically.

  1. Code

    The PETRA Java library provides a revolutionary way to construct modular, regularized, verifiable systems. It lets you write less and more maintainable code for complex high performance systems and provides automatic verification, so that costly errors never hit production.

  2. Verify Automatically

    Use our runtime verification system to prove the desired behaviour of your system, before going live.

  3. Execute

    PETRA provides the same logical output across 3 modes of operation:

    DIS - Distributed across a Hazelcast cluster (www.hazelcast.com)

    PAR - Parallelized across available CPU cores

    SEQ - Sequential, runs in a single thread, useful for debugging

Our Stack:

PETRA Java Java PETRA Petra Java ->PETRA Hazelcast Hazelcast PETRA->Hazelcast Docker Docker Hazelcast->Docker

CognitionBox.io was born out of the need for highly reliable systems in financial trading. A single incorrect line of code can wreak havoc in critical systems. In order to keep ahead, competitive fields demand complex systems which can continuously adapt. CognitionBox.io's mission is to reduce the cost of developing and testing such systems. Our approach is to develop tools which prevent common errors in programming sequential, parallel and distributed systems, and which automatically find errors which we can not eliminate upfront, so that these errors never hit production.