Formal Systems Design &

Company Information
Address P.o. Box 3004
Auburn, AL, 36831


Information

DUNS:

# of Employees: N/A


Ownership Information

HUBZone Owned: N

Socially and Economically Disadvantaged: N

Woman Owned: N



Award Charts




Award Listing

  1. 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 ...

    SBIRPhase I1995Navy Department of Defense
  2. 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 ...

    SBIRPhase II1993Navy Department of Defense
  3. EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

    Amount: $49,999.00

    N/A

    SBIRPhase I1990Navy Department 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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government