Software Engineering Institute

This brochure summarizes our area of work about Predictability by Construction: building high-stakes systems from certified software components.