Formal Systems Design &

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

US Flag An Official Website of the United States Government