COBOL still runs the core of banking, and AI can now translate it into Java in minutes. The hard part is proving the new code does exactly what the old code did. The dangerous differences, like a balance that loses its minus sign, are invisible when you read the code. Parity plugs into IBM Bob. Bob translates the COBOL. Parity runs both versions side by side on thousands of inputs aimed at where COBOL and Java handle numbers differently, and shrinks each difference to one simple example. A person decides whether to keep or accept each one, and Parity issues a signed certificate once the translation is proven.
.png&w=256&q=75)