Arlington PDF model checker
Prototype Arlington PDF model checker REST service with web client
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.