Dear Duminda,

thank you for your interest in the COMPASS toolset.

Since you are based outside of the ESA member states, a technology transfer approval from the technology transfer department of ESA would be required. Unfortunately, experience has shown that it has little chance of success, since ESA has recently become more strict about allowing exploitation outside the ESA member states.

In a future perspective (time span of a few months from now) we plan to discuss with ESA about the possibility to change the license of COMPASS and open it to non-ESA member states. Likely, this may take some time to become reality (if possible at all). I can inform you in due time, if we succeed.

A possible alternative is to consider using the COMPASS back-ends directly. FBK owns the IPR of the NuSMV model checker and related tools (nuXmv, xSAP, OCRA -- see nuxmv.fbk.eu, xsap.fbk.eu, ocra.fbk.eu), whose use is free for academic research, whereas RWTH Aachen University owns the IPR of the probabilistic tools (MRMC, IMCA, Sigref). We would be glad to arrange a demonstration of these tools, if it is of interest for you.

Kind regards,

Marco

On 15-Feb-21 04:36, Duminda Wijesekera wrote:

Dear Sir/Madam,

I am contacting you on behalf of (a group) George Mason University's Cyber Security Engineering Researchers. We are not members of the ESA not EU. Is it possible to obtain the COMPASS toolset for research purposes? If so, please let me know the procedure, and I can ask my university to sign requisite agreements or NDA s on behalf of us.

Kind Regards

Duminda Wijesekera,

Professor, Department of Computer Science,

Acting Chair - Department of Cyber Security Engineering,

George Mason University,

Fairfax, VA 22030

703-993-5030

dwijesek@gmu.edu

---

COMPASS-support mailing list -- compass-support@lists.rwth-aachen.de To unsubscribe send an email to compass-support-leave@lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/compass-support.lists.rwth-aach...