Formal Systems Design &

Company Information

Company Name
Formal Systems Design &
Address
P.o. Box 3004
Auburn, AL, 36831
Phone
n/a
URL
n/a
DUNS
n/a
Number of Employees
n/a
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N

Award Totals

PROGRAM/PHASE
AWARD AMOUNT ($)
NUMBER OF AWARDS
SBIR Phase I
$149,382.00
2
SBIR Phase II
$300,000.00
1
Chart code to be here

Award List

  1. EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

    Amount: $300,000.00

    TO DATE, MOST SAFETY-CRITICAL APPLICATIONS OF SPECIAL PURPOSE PROBLEM-ORIENTED MULTIPROCESSOR CONFIGURATIONS HAVE RELIED ON WELLKNOWN, SIMPLISTIC STRATEGIES FOR ENSURING SATISFIABILITY OF CONSTRAINTS ...

    SBIR Phase II 1993 NavyDepartment of Defense
  2. User-Interface for Rule-Based Formal-Methods

    Amount: $99,383.00

    This project aims towards an initial "Formal Methods Inter-face,, frame- work which will provide interface in three senses: * between the engineer and formal methods tools; * to support interworking ...

    SBIR Phase I 1995 NavyDepartment of Defense
  3. EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

    Amount: $49,999.00

    N/A

    SBIR Phase I 1990 NavyDepartment of Defense

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