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
-
User-Interface for Rule-Based Formal-Methods
Amount: $99,383.00This 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 -
EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN
Amount: $300,000.00TO 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 -
EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN
Amount: $49,999.00N/A
SBIRPhase I1990Department of Defense Navy