You are here

Formal Systems Design &

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



Information

UEI: N/A

# of Employees: N/A


Ownership Information

HUBZone Owned: No

Socially and Economically Disadvantaged: No

Woman Owned: No



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 I1995Department of Defense Navy
  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 II1993Department of Defense Navy
  3. EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

    Amount: $49,999.00

    N/A

    SBIRPhase I1990Department of Defense Navy
US Flag An Official Website of the United States Government