Formal Systems Design & Development

P.O. Box 3004
Auburn, AL 36831
10 Employees

SBIR Award Summary

Total Number of Awards 3
Total Value of Awards $540K
First Award Date 01/01/90
Most Recent Award Date 10/30/95

Key Personnel

Last Name Name Awards Contact
Goldsmith Michael H Goldsmith 2
Goldsmith Michael H Goldsmith 1

3 Awards Won

Phase 1 SBIR

Agency: Navy
Topic: N95-068
Budget: 10/30/95 - 04/30/96

Phase 2 SBIR

Agency: Navy
Topic: N90-318
Budget: 09/30/92 - 09/30/94

Formal Systems proposes to develop tools and design approaches for building reliable real-time distributed systems, importing loading-edge Formal Methods technology from Europe. Timed CSP, an ONR funded theory, is the leading contendor for success in formalizing and reasoning about real-time distributed systems. It benefits from well understoo...

Phase 1 SBIR

Agency: Navy
Topic: N90-318
Budget: 01/01/90 - 12/31/90