Dear Sir,

I am a JMC2 student currently doing my Suprema group project based on Alloy.

I am writing to enquire if it is possible to have the Alloy Analyser running on DoC computers updated.

The current running version is 4.0 but the latest version is 4.1.5 which includes some important type changes and bug fixes. ( http://alloy.mit.edu/alloy4/ )

My group has an oral presentation that will involve running Alloy and we would appreciate it if the latest version was available to us to avoid any issues of compatibility/bugs.

Kind regards,

Edward Wong (eyw06)
JMC2