On the 30th anniversary of PDF technology, we’re excited to announce the availability of the first development preview of a new veraPDF-powered application. Building on the great work done by the PDF Association supported by the Defence Advanced Research Projects Agency (DARPA), veraPDF has developed an open-source PDF checker based on the Arlington PDF Model. This application is separate from the veraPDF PDF/A and PDF/UA validator but comprises a very familiar package of GUI and command-line applications.

About eighteen months ago, the PDF Association released the results of work funded by DARPA in the form of the Arlington PDF Model. This is an open-source, machine-parsable definition of the full PDF document model defined by the PDF 2.0 specification, ISO 32000-2:2020, and its related resolved errata. The model is presented as a set of TSV files that describe PDF’s various objects, properties, constraints and data integrity relationships. You can learn more on GitHub. The README also provides references for further reading.