CompCert-x86-64: Formally verified C Compiler
Buyer & Organisation
- Ministry / State
- Ministry of Defence
- Department
- Department of Defence Research & Development
- Organisation
- Office Of Dg ( Med & Cos)
- Sector
- Defence
- Buyer type
- Central
Item & Category
- Category
- Computers & IT
- Sub-category
- Software
- Type
- Goods
- Procurement
- New Supply
- Quantity
- 1
- Reverse Auction
- No
- Make-in-India pref.
- No
- Bidding
- Two-packet
Financials & Eligibility
- Estimated value
- Not disclosed
- Value tier
- Not disclosed
- EMD required
- No
- ePBG required
- Yes
- MSE-friendly
- No
- Startup-friendly
- No
- New-seller-friendly
- Yes
- Installation req.
- Yes
- Inspection req.
- Yes
- Certifications
- None specified
Delivery
- Delivery states
- Delhi
- Scope
- Single-state
Tags
softwarecompilerc compilercompcertx86-64development toolsdefenceit software