RUNTIME VERIFICATION INC
- UEI
- FFVYL2M1N826
- Land
- 🇺🇸 Vereinigte Staaten · URBANA (618012744)
- Gewonnene Auftraege
- 8
- Gesamtvertragswert
- 964 789 USD
- Erster Auftrag
- 03/06/2018
- Letzter Auftrag
- 03/08/2021
Top 5 · Oeffentliche Auftraggeber
- National Aeronautics and Space Administration 🇺🇸 8 gewonnene Auftraege
Auftragsvergaben (8)
| Datum | Auftraggeber | Beschreibung | Betrag | Verfahren |
|---|---|---|---|---|
| 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 |
Offizielle Quelle ansehen (DECP - data.economie.gouv.fr) (USAS)