Enforcing, Inferring, and Synthesizing Optional Properties (EISOP)

This webserver is used to showcase various research projects.

Checker Framework Live Demo

To experience the Checker Framework from within your browser, see our Checker Framework Live Demo.

Contact

Please address your questions and comments to Werner Dietl.