Below are the slides from the recent Couverture project conclusion meeting. Cyrille Comar presented the original needs and goals of the project, the challenges the team came across a long the way, and the main results.
GNATcoverage/GNATemulator launchView more presentations from AdaCore.