Dear Alaa,

thank you for your interest in the COMPASS toolset.

Since your Company is based outside of the ESA member states, a technology transfer approval from a the technology transfer department of ESA would be required.

Unfortunately, experience has shown that it has little chance of success -- it appears that recently ESA has become more strict about allowing exploitation outside the ESA member states. In future perspectives, we are discussing with ESA about the possibility to open the access to the toolset to non-ESA member states -- however this will take some time to become reality.

An alternative would be to consider using the COMPASS back-ends directly. FBK owns the IPR of the NuSMV model checker and related tools (nuXmv, xSAP, OCRA), whose use is free for academic research, whereas RWTH Aachen University owns the IPR of the probabilistic tools (MRMC, IMCA, Sigref).

With kind regards,

Marco

On 10/04/2017 05:49 AM, alghazo @iastate.edu wrote:

Dear Sir / Madam, I am an electrical and computer engineering  PhD student at Iowa State University. I would like to download COMPASS to be used in my research as I believe it will be a useful tool for me. Hence your website said that I will need permission to do so since I am out of the ESA state I appreciate if you are willing to grant me the permission.

Thanks Alaa Al Ghazo

---

COMPASS-support mailing list COMPASS-support@lists.rwth-aachen.de https://mailman.rwth-aachen.de/mailman/listinfo/compass-support