Summary
his will be the first release of the verification framework, including the definition of the necessary APIs, and first versions of the individual services. The prototype implementation will be accompanied by a report documenting the implemented approaches, their usage, and presenting evaluation results on existing benchmark datasets.
More information & hyperlinks