Open source implementation of PDF/UA validation

We demonstrate the extension of veraPDF framework for validating syntax of PDF/UA-1 and Tagged PDF including formal list of checks, test corpus development and visualization of the reports.

Additionally, we discuss ambiguous requirements of both PDF/UA-1 and Matterhorn protocol and their suggested resolutions.

Finally, we touch broader challenges such as implementation of Human checks and  WCAG requirements.