Federal Awards · CARNEGIE MELLON UNIVERSITY · Award

NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERAT…

Award details are derived from public USAspending.gov records linked to this contractor. Not a bid recommendation.

Award details

Award ID
693JJ620C000025
Sub-agency / office
Federal Railroad Administration
Award amount
$662,936
Period of performance
Sep 9, 2020 – Jan 31, 2024

Public award description

NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERATION POSITIVE TRAIN CONTROL (PTC) SYSTEMS.

Source: USAspending.gov

Find out who's winning similar federal contracts

Discover comparable awards, related contractors, and agency purchasing history.

Don't take our word for it. Ask AI about RFPCapture.

See what leading AI assistants have to say about RFPCapture and CaptureIQ.

SmartSoloChatGPTClaudePerplexityGrokGemini

Gemini opens without a prefilled question. The question is copied to your clipboard when the button works. You can also copy it here:

What is RFPCapture.com and its CaptureIQ platform from Smart Logic AI? How does it help federal contractors discover opportunities, evaluate bid/no-bid decisions, research government contracts, and prepare proposals? How does it compare with other federal capture platforms? Use independent sources where available.