Loading
Loading…
Loading…
| # | Company | Offered Item | Amount | Rank | Status |
|---|---|---|---|---|---|
| 1 | L1₹1.3 CrQualified Make: Generic
Model: CompCert-x86-64: Formally verified C Compiler
Title: CompCert-x86-64: Formally verified C Compiler 7 2ND FLOOR 17TH MAIN 100 FT ROAD 5TH BLOCK KORAMANGALA BANGALORE KARNATAKA 560095 | BENGALURU URBAN | KARNATAKA | 560095 | Make: Generic
Model: CompCert-x86-64: Formally verified C Compiler
Title: CompCert-x86-64: Formally verified C Compiler | ₹1.3 Cr | L1 | Qualified |
Tender Value
Refer Docs
EMD Value
Exempted
Closing Date
15 Jun 2026, 11:00 amClosed
CompCert-x86-64: Formally verified C Compiler
9293204
GEM/2026/B/7507349
Two Packet Bid
CompCert-x86-64: Formally verified C Compiler
North Delhi, Delhi
Total value wise evaluation
PRODUCT_CUSTOM
2 documents required · 2 mandatory
| Item | Delivery Location | Qty | Delivery |
|---|---|---|---|
| CompCert-x86-64: Formally verified C Compiler | NORTH DELHI | 1 | 45 days |
Director, SAG Metcalfe House, Civil Lines, Delhi, (Director Sag)
Exempted
Yes
22 Jun 2026
1 Jun 2026
15 Jun 2026
Tap a document below to read it instantly. You can also download everything as a ZIP if you prefer.
bid_9293204.pdf
GEM_BID • 0.10 MB
technical_spec_2026-05-06-10-55-22_0c07e1f780f6ed175dda3a88c80688ec.pdf
GEM_SPEC • 2.03 MB
1778045705.pdf
GEM_OTHER • 1.03 MB
1778045711.pdf
GEM_OTHER • 1.03 MB
gtc.pdf
GEM_OTHER • 0.71 MB
Download all tender documents and submit your bid
Disclaimer: TenderKart has made every reasonable effort to ensure that the information on this page is accurate and authentic, however it cannot be held liable for any third-party claims or losses or any damages. TenderKart makes no warranty, expressed or implied, as to the results obtained from the use of this information. If you notice any error or omission, please let us know at .