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 4.2 (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.

We have an Alloy reference guide available here.

TLA+

The download for the TLA+ Toolbox can be found here. Please download the .zip file TLAToolbox-1.5.5-your_OS.zip. After unarchiving the file, you may run the software by running the file called toolbox. More instructions here.

We have a TLA+ reference guide available here.

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:

• Counseling and Psycological Services (CAPS)
• Student and Employee Accessibility Services (SEAS)
  
• Student Advocates for Diversity and Inclusion (diversity.advocates@lists.cs.brown.edu)
  
• CS Health and Wellness Resources