EISOP.UWATERLOO.CA HOST
I revealed that the main root page on eisop.uwaterloo.ca took six hundred and fifty-six milliseconds to download. We could not observe a SSL certificate, so in conclusion our crawlers consider eisop.uwaterloo.ca not secure.
Internet Address
129.97.83.39
SERVER OPERATING SYSTEM
I observed that eisop.uwaterloo.ca is weilding the Apache/2.4.6 (Red Hat Enterprise Linux) OpenSSL/1.0.1e-fips mod_wsgi/3.4 Python/2.7.5 operating system.PAGE TITLE
Enforcing, Inferring, and Synthesizing Optional Properties EISOPDESCRIPTION
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. Please address your questions and comments to Werner Dietl. Last updated 2016-04-12 224329 EDT. And the Cerulean theme.CONTENT
This domain had the following in the homepage, "Enforcing, Inferring, and Synthesizing Optional Properties EISOP." Our analyzers analyzed that the web site stated " This webserver is used to showcase various research projects." The Website also stated " To experience the Checker Framework. From within your browser, see our Checker Framework Live Demo. Please address your questions and comments to Werner Dietl. Last updated 2016-04-12 224329 EDT."