Scalable Model Checking Using Compiler Analyses and the Alef SAT Solver

Award Information
Agency:
Department of Defense
Branch
Office of the Secretary of Defense
Amount:
$99,940.00
Award Year:
2006
Program:
SBIR
Phase:
Phase I
Contract:
W911QX-06-C-0099
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
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
022423854
Principal Investigator:
Eric Schweitz
Managing Engineer
(212) 780-0527
schweitz@reservoir.com
Business Contact:
Melanie Peters
Business Manager
(212) 780-0527
peters@reservoir.com
Research Institution:
n/a
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.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government