Dear Prem Harikrishnan, we (hope to) have fixed the problem. Please try the following new download links. Sorry again for the inconveniences. Best regards, Thomas Noll Download links -------------- * Part 1/2, redistributable part of the COMPASS toolset: http://www.compass-toolset.org/getfile.php?mt=YURwQmkxY2VFVzZzYThqK0xtMGVJUW... (105.72 MB) * Part 2/2, non-redistributable backends of the COMPASS toolset: http://www.compass-toolset.org/getfile.php?mt=YURwQmkxY2VFVzZzYThqK0xtMGVJUW... (123.22 MB) * Tutorial: http://www.compass-toolset.org/getfile.php?mt=YURwQmkxY2VFVzZzYThqK0xtMGVJUW... (4.22 MB) * User manual: http://www.compass-toolset.org/getfile.php?mt=YURwQmkxY2VFVzZzYThqK0xtMGVJY3... (5.78 MB) * SLIM Specification: http://www.compass-toolset.org/getfile.php?mt=YURwQmkxY2VFVzZzYThqK0xtMGVJVW... (0.32 MB) * Virtual Machine: http://www.compass-toolset.org/getfile.php?mt=YURwQmkxY2VFVzZzYThqK0xtMGVJWU... (2434.21 MB) On 03.06.20 09:48, Thomas Noll wrote:

Dear Prem Harikrishnan,

I just tried myself, and indeed there appears to be a systematic problem here. Our system admin is taking care of it - we will keep you informed. I apologise for any inconveniences.

Best regards, Thomas Noll

On 02.06.20 14:26, Prem Harikrishnan wrote:

...

To Whom It May Concern,

Hi, I'm trying to download the redistributable and non-redistributable part of the COMPASS toolset but the download fails every time after 12 MB. Can you please send me an updated link? The other downloads work perfectly. Thanks

Best Regards, Prem Harikrishnan

Evoleo Technologies, GmbH. Freibadstr. 30, 3.OG - 321 D-81543 München Tel.  : +49 1516 6154 764 Email: prem.harikrishnan@evoleotech.com | Web: www.evoleotech.com

-----Original Message----- From: COMPASS Consortium Sent: 02 June 2020 15:16 To: Prem Harikrishnan <prem.harikrishnan@evoleotech.com> Subject: [COMPASS] Toolset and Documentation Download Links

Dear Prem Harikrishnan,

The COMPASS consortium is happy to provide you our toolset under the terms of its respective licenses. Below you will find the download-links. They are active for 24 hours. If you are a first-time user, we highly recommend you to download our non-redistributable, customised and pre-configured virtual machine image.

For further information, we refer you to our website: http://www.compass-toolset.org

Download links -------------- * Part 1/2, redistributable part of the COMPASS toolset: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVaX... (105.72 MB) * Part 2/2, non-redistributable backends of the COMPASS toolset: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVdl... (123.22 MB) * Tutorial: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVbT... (4.22 MB) * User manual: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVan... (5.78 MB) * SLIM Specification: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVbj... (0.32 MB) * Virtual Machine: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVc1... (2434.21 MB)

With regards,

The COMPASS consortium

-- Thomas Noll http://moves.rwth-aachen.de/people/noll/ Software Modeling and Verification Group noll@cs.rwth-aachen.de RWTH Aachen University Phone +49/241/80-21213 Ahornstr. 55, 52056 Aachen, Germany Fax +49/241/80-22217