Darüber hinaus wurden Vorträge über drei Systeme gehalten , die entwickelt wurden , um verschiedene Aspekte des Entwurfs des Entwurfs der Überprüfung zu unterstützen .
Die drei Systeme , die zur Unterstützung verschiedener Teile des Entwurfs der entwurfs Überprüfung entwickelt wurden , wurden in Präsentationen erläutert .