Note that the SAL distribution includes ICS; registration for SAL also covers ICS and the email includes certificates for both systems. Each certificate is for the single user named within it, but it is not restricted to any particular host or platform. If you already have a valid certificate, just download the distribution(s) you want.
The SAL binary distribution package contains: SAL2XML 2.0 (parser), SALenv 2.0 (model checkers and other tools), and ICS 2.0.
Note: You must have Java runtime installed on your system, since SAL2XML needs a Java virtual machine.
This is all you need to run SAL (and ICS) on most systems. After you've completed the online registration, you'll be able to run the distribution right away.
Before downloading any SAL source component, you must fill in the FM license and send it back to SRI. After processing your license, a password will be mailed to you, allowing you to access the sources. In the meantime, you may use the binaries immediately after a simple registration process.