SBIR/STTR Research Award

FORMAL VERIFICATION FOR C WITH UNIX

Award identifier a5806b010eb4a7d88740e2185cba7be35274d6535f734780fd50f4815306cc66Awarding agency National Aeronautics and Space Administration

Award amount

$49,984

Program and phase

SBIR · Phase I

Award year

1990

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
National Aeronautics and Space Administration
Branch
Not reported
Recipient company
ATC-NY INC
Proposal award date
Not reported
Contract end date
Not reported
UEI
LE62V456GNB5
Solicitation number
Not reported
Topic code
Not reported

Research abstract

WE PROPOSE TO BUILD AN AUTOMATED FORMAL VERIFICATION SYSTEM FOR PROGRAMS WRITTEN IN THE C PROGRAMMING LANGUAGE. THIS SYSTEM WILL SUPPORT VERIFICATION OF PROGRAMS THAT INCLUDE UNIX SYSTEM CALLS, INCLUDING THOSE WHICH MAKE POSSIBLE CONCURRENT EXECUTION, SUCH AS FORK AND PIPE. IT WILL ALSO SUPPORT VERIFICATION OF PROGRAMS THAT DO FLOATING POINT ARITHMETIC. THE VERIFIER WILL BE BASED ON AN OPERATIONAL SEMANTICS, WHICH IS POWERFUL, EASY TO UNDERSTAND, AND EASY TO USE. VERIFYING A PROGRAM WITH THIS SYSTEM WILL BE SIMILAR TO SYMBOLIC EXECUTION. WE EXPECT THE SYSTEM TO BE EASY ENOUGH TO USE THAT IT CAN BE USED AS A ROUTINE DEBUGGING TOOL. THE SYSTEM WILL BE BASED ON THE ARIEL PROTOTYPE C VERIFICATION SYSTEM DEVELOPED AT ODYSSEY. THE WORK THAT MUST BE DONE BY THIS PROJECT IS TO SUPPORT FULL C, INCLUDINGI/O AND DEVELOP AND IMPLEMENT SEMANTICS FOR UNIX SYSTEM CALLS, INCLUDING THE TYPE OF CONCURRENT PROGRAMMING THAT IS POSSIBLE IN UNIX.

Technology keywords

Not reported

Other awards by this recipient

Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.

Research funding history

143 SBIR/STTR records share this UEI (1983–2025). Reported award amounts total $44,477,719. Reported amounts are not federal obligations.

Phases: Phase I, Phase II, Phase II – Direct to Phase II

Agencies: Department of Defense, National Aeronautics and Space Administration, Department of Energy, National Science Foundation, Department of Homeland Security, Department of Commerce

Agency intelligence

National Aeronautics and Space Administration

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.