USA flag logo/image

An Official Website of the United States Government

Scalable Model Checking Using Compiler Analyses and the Alef SAT Solver

Award Information

Agency:
Department of Defense
Branch:
Office of the Secretary of Defense
Award ID:
78624
Program Year/Program:
2006 / SBIR
Agency Tracking Number:
O053-SP5-2076
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803 New York, NY 10012-2614
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2006
Title: Scalable Model Checking Using Compiler Analyses and the Alef SAT Solver
Agency / Branch: DOD / OSD
Contract: W911QX-06-C-0099
Award Amount: $99,940.00
 

Abstract:

Our objective is to produce a commercial-grade model checking system that is scalable, end-to-end and highly usable. By scalable, we mean that the system will check larger software systems and answer more detailed queries than existing systems. By end-to-end, we mean that the system will automate the entire model-checking process from the point where the developer submits a query to the point where results are presented to the developer. By highly usable, we mean that the developer will not be required to learn any special-purpose modeling or specification languages in order to make full use of the system.

Principal Investigator:

Eric Schweitz
Managing Engineer
2127800527
schweitz@reservoir.com

Business Contact:

Melanie Peters
Business Manager
2127800527
peters@reservoir.com
Small Business Information at Submission:

RESERVOIR LABS., INC.
632 Broadway, Suite 803 New York, NY 10012

EIN/Tax ID: 061303098
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No