RUNTIME VERIFICATION INC
- UEI
- FFVYL2M1N826
- Paese
- 🇺🇸 Stati Uniti · URBANA (618012744)
- Appalti aggiudicati
- 8
- Valore totale del contratto
- 964 789 USD
- Primo appalto
- 03/06/2018
- Ultimo appalto
- 03/08/2021
Top 5 · Acquirenti pubblici
- National Aeronautics and Space Administration 🇺🇸 8 appalti aggiudicati
Aggiudicazioni (8)
| Data | Acquirente | Descrizione | Importo | Procedura |
|---|---|---|---|---|
| 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 |
Vedi la fonte ufficiale (DECP - data.economie.gouv.fr) (USAS)