These patents provide the core technology for legacy conversions by converting formal word requirements directly into executable source code. Registered across Japan, Canada, the EU, the US, and China, these binary static analysis and automatic code generation systems have processed business transactions for millions of customers across commercial banking and national social insurance infrastructures.