GE High Assurance Software

The High Assurance Systems team at GE Aerospace Research is developing technology and tools to support trust in software intensive critical infrastructure.