Funded by NASA, the AFFIRM (Architectural Framework for Integrated Refinement Modeling) project aims to develop an integrated abstraction framework to support the capture of system architecture, system behavior, and system and environment fault modeling.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.