Arlington PDF model checker

Prototype Arlington PDF model checker REST service with web client

1

Choose

2

Configure

3

Checking

Choose a PDF file to checking.

Browse…
SHA-1:

Configure Validator for

Validation Results

Validation results for are shown below.

Disclaimer

This demo service is based on the official Arlington PDF model checker Docker image veraPDF/arlington and is only intended to be used for testing. More details on the configuration of this service and tweaking its parameters for production use can be found at https://github.com/veraPDF/veraPDF-rest/tree/arlington.

Supported profiles