Verifying FACE Conformance of Ada Non-OSS UoCs

This demo, presented by Albert Lee, shows how a FACE software component ("UoC", or "Unit of Conformance") written in Ada can be verified for FACE conformance, using a combination of link-time tests in the CTS (Conformance Test Suite) and source-code analysis by AdaCore's GNATcheck static analysis tool.

Last Updated: 3/22/2021
Posted on: 3/22/2021