PETRA allows you to adapt faster with less risk and cost. Beat the competition.
Trust Your Code.
WE CAN HELP YOU TO AVOID:
WE ACHIEVE THIS BY:
Looking after your core business processes, through our pragmatic software verification system.
Use our system to model and build your Java business processes and then verify the flows automatically.
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.
Use our runtime verification system to prove the desired behaviour of your system, before going live.
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
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.