SBIR/STTR Research Award

Software Verification for Large Systems

Award identifier 80a8e5b04210c02411e54c42afaba096e06aac7ef71640967b8ee0eef3493367Awarding agency Department of Defense · Army

Award amount

$99,997

Program and phase

SBIR · Phase I

Award year

2006

Explore This Research Award in CaptureIQ

Research the technology, evaluate the recipient and agency, identify related opportunities, and explore potential follow-on work with CaptureIQ.

Open in CaptureIQRequest Access

Award details

Awarding agency
Department of Defense
Branch
Army
Recipient company
SOHAR, INC.
Proposal award date
2006-09-01
Contract end date
2007-09-01
UEI
Not reported
Solicitation number
2005.3
Topic code
OSD05-SP5

Research abstract

We propose to concentrate verification on the exception handling structure of the software because (a) it is the cause of most failures (b) it can be constrained to a relatively small number of primitives, and (c) establishing completeness and correctness can be automated.

Technology keywords

Not reported

Awards with the same topic code

Verified by an exact topic code match. This is not a text-similarity match.

Agency intelligence

Department of Defense

Back to SBIR/STTR Research Awards

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.