Corrigendum: Compcert-X86-64: Formally Verified C Tender - 143739523

DEFENCE RESEARCH AND DEVELOPMENT ORGANISATION (DRDO) has floated a tender for Corrigendum: Compcert-X86-64: Formally Verified C Compiler, Qty: 1. The project location is North Delhi, Delhi (NCT), India. The reference number is GEM/2026/B/7507349 and it is closing on 22 Jun 2026. Suppliers can request Register free of cost to get the complete Tender details and download the document.

Procurement Summary

State: Delhi (NCT)

Summary: Corrigendum: Compcert-X86-64: Formally Verified C Compiler, Qty: 1

Deadline: 22 Jun 2026

Posting Date: 21 Jun 2026

Other Information

Notice Type: Tender

TOT Ref.No.: 143739523

Document Ref. No.: GEM/2026/B/7507349

Financier: Self Financed

Purchaser Ownership: Public

Document Fees: Refer Document

Tender Value: Refer Document

EMD: Refer Document

Purchaser's Detail

Name: Login to see tender_details

Address: Login to see tender_details

Email: Login to see tender_details

Tender Details

CompCert-x86-64: Formally verified C Compiler
Quantity Required: 1

Start Date: 01-06-2026 10:48 AM

End Date: 22-06-2026 11:00 AM
Tender ID: GEM/2026/B/7507349

Documents

Tender Notice

Bid_Document_9293204.pdf

Download All

Corresponding Contract Award Notice