RUNTIME VERIFICATION INC
- UEI
- FFVYL2M1N826
- Pays
- 🇺🇸 Etats-Unis · URBANA (618012744)
- Marches remportes
- 12
- Montant total contractualise
- 964 789 USD
- Premier marche
- 03/06/2018
- Dernier marche
- 30/09/2024
Top 5 · Acheteurs publics
- National Aeronautics and Space Administration 🇺🇸 12 marches remportes
RUNTIME VERIFICATION INC a remporte 12 marches publics referencees sur Tendervue. Consultez ci-dessous le detail des appels d'offres, acheteurs publics, categories CPV/PSC et montants attribues a RUNTIME VERIFICATION INC.
Active 2018-2024
1 buyers
12 contracts
Marches attribues (12)
| Date | Acheteur | Objet | Montant | Procedure |
|---|---|---|---|---|
| 30/09/2024 | National Aeronautics and Space Administration | A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE | 0 USD | FIRM FIXED PRICE |
| 16/09/2022 | National Aeronautics and Space Administration | A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE | 0 USD | FIRM FIXED PRICE |
| 16/03/2022 | National Aeronautics and Space Administration | EO14042 A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE | 0 USD | FIRM FIXED PRICE |
| 14/10/2021 | National Aeronautics and Space Administration | EO14042 A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE | 0 USD | FIRM FIXED PRICE |
| 03/08/2021 | National Aeronautics and Space Administration | A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE | 749 847 USD | FIRM FIXED PRICE |
| 28/07/2020 | National Aeronautics and Space Administration | A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE | 124 942 USD | FIRM FIXED PRICE |
| 16/12/2019 | National Aeronautics and Space Administration | FINALIZE AN RV-MATCH TOOL CAPABLE OF DETECTING UNDEFINED BEHAVIORS IN C AND C++ APPLICATIONS. THIS MEANS COMPLETING THE C++ ANALYSIS TOOL TO THE POINT WHERE IT CAN DETECT ERRORS IN REAL C++ APPLICATIO... | 0 USD | FIRM FIXED PRICE |
| 09/09/2019 | National Aeronautics and Space Administration | FINALIZE AN RV-MATCH TOOL CAPABLE OF DETECTING UNDEFINED BEHAVIORS IN C AND C++ APPLICATIONS. THIS MEANS COMPLETING THE C++ ANALYSIS TOOL TO THE POINT WHERE IT CAN DETECT ERRORS IN REAL C++ APPLICATIO... | 0 USD | FIRM FIXED PRICE |
| 26/06/2019 | National Aeronautics and Space Administration | FINALIZE AN RV-MATCH TOOL CAPABLE OF DETECTING UNDEFINED BEHAVIORS IN C AND C++ APPLICATIONS. THIS MEANS COMPLETING THE C++ ANALYSIS TOOL TO THE POINT WHERE IT CAN DETECT ERRORS IN REAL C++ APPLICATIO... | 0 USD | FIRM FIXED PRICE |
| 16/05/2019 | National Aeronautics and Space Administration | FINALIZE AN RV-MATCH TOOL CAPABLE OF DETECTING UNDEFINED BEHAVIORS IN C AND C++ APPLICATIONS. THIS MEANS COMPLETING THE C++ ANALYSIS TOOL TO THE POINT WHERE IT CAN DETECT ERRORS IN REAL C++ APPLICATIO... | 90 000 USD | FIRM FIXED PRICE |
| 13/07/2018 | National Aeronautics and Space Administration | FINALIZE AN RV-MATCH TOOL CAPABLE OF DETECTING UNDEFINED BEHAVIORS IN C AND C++ APPLICATIONS. THIS MEANS COMPLETING THE C++ ANALYSIS TOOL TO THE POINT WHERE IT CAN DETECT ERRORS IN REAL C++ APPLICATIO... | 0 USD | FIRM FIXED PRICE |
| 03/06/2018 | National Aeronautics and Space Administration | FINALIZE AN RV-MATCH TOOL CAPABLE OF DETECTING UNDEFINED BEHAVIORS IN C AND C++ APPLICATIONS. THIS MEANS COMPLETING THE C++ ANALYSIS TOOL TO THE POINT WHERE IT CAN DETECT ERRORS IN REAL C++ APPLICATIO... | 0 USD | FIRM FIXED PRICE |
Voir la source officielle (DECP - data.economie.gouv.fr) (USAS)