Intellectual Property India Publishes Patent Application for A Cross-Compiler Verification System

MUMBAI, India, Aug. 31 -- Intellectual Property India has published a patent application (202641101370 A) filed by National Institute Of Technology-Warangal on August 21, 2026, for A Cross-Compiler Verification System.

Inventors include Dr. Sangharatna Godboley; and Prof. P. Radha Krishna.

The application for the patent was published on August 28, 2026, under issue no. 35/2026.

Abstract: TITLE: A CROSS-COMPILER VERIFICATION SYSTEM A system (100) for verifying the correctness of a compiled binary (106) generated by a cross compiler (104) from a source input (102) has been proposed in the present invention, without requiring access to the internal details of the cross-compiler as shown in figure-1. The compiled binary (106) is transformed ...