Initially, the Software Assurance Ecosystem infrastructure integrates tools and
outputs from three differentrealms of software engineering: formal methods,
reverse engineering, and static analysis.The purpose of the Ecosystem is manifold:
u To provide an effective vehicle for communications of assurance