RUNTIME VERIFICATION INC
- UEI
- FFVYL2M1N826
- Country
- 🇺🇸 United States · URBANA (618012744)
- Contracts won
- 12
- Total contract value
- 964 789 USD
- First contract
- 03/06/2018
- Last contract
- 30/09/2024
Top 5 · Public buyers
- National Aeronautics and Space Administration 🇺🇸 12 contracts won
RUNTIME VERIFICATION INC has been awarded 12 public contracts indexed on Tendervue. Browse below the full list of tenders, government buyers, CPV/PSC categories and contract amounts won by RUNTIME VERIFICATION INC.
Active 2018-2024
1 buyers
12 contracts
Contract awards (12)
| Date | Buyer | Description | Amount | 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 |