Software
Below are software that we will use in the course. Feel free to reach out to TAs if you experience any difficulties in software installation. If you need, you may borrow a laptop from CIS; more info here.
Alloy
Alloy should be pre-installed on department machines. If you wish to install it on your own computer, please download and install Alloy 5.0 (Experimental Versions). On Windows, you'll need to install Java x86 to run Alloy. If you have Java x64, you will not be able to use some functionalities, so please install Java x86 and make sure that Alloy is run using the right Java. In the configuration, please change the setting for Forbid overflows from off (which is the default) to on. On OS X, go to the Options menu and select the last entry. Nothing will appear to happen, but when you look at the menu again, the setting will be on.
Dafny
Dafny has been pre-installed on department machines. You can install it on your home computer by following these steps. To verify a Dafny file, in command line type dafny [filename.dfy]. Alternatively, you can write and verify Dafny code online, but be careful not to refresh the page and to frequently copy your work to a nearby text file in case of an accidental refresh.
Isabelle
Isabelle has been pre-installed on department machines. You can install it on your home computer by downloading it from this link. Note that if you download it locally, the first time you open it, it will take a while to start up. This is a one-time deal and startup will be very fast after this first time. To use it on a department machine, enter isabelle at the command line.
Student Resources
We recognize that being a student is not easy, and hope to provide support in any way we can. Beyond our staff, here is a list of other resources available to you here at Brown: