Formal Systems Design &

Basic Information

P.o. Box 3004
Auburn, AL, 36831

Company Profile

n/a

Additional Details

Field Value
DUNS: n/a
Hubzone Owned: N
Socially and Economically Disadvantaged: N
Woman Owned: N
Number of Employees: n/a


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

    SBIR Phase I 1995 Navy 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 ...

    SBIR Phase II 1993 Navy Department of Defense
  3. EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

    Amount: $49,999.00

    N/A

    SBIR Phase I 1990 Navy Department of Defense

Agency Micro-sites

US Flag An Official Website of the United States Government