Dear Sirs,

I work at INPE (National Institute For Space Research) in Brazil.

I am a doctoral student and my research topic is on Formal Methods applicable to embedded software for satellites.

I would like to know in detail the COMPASS toolset specifically on the SLIM modeling language.

Is it possible to provide me a license to use the COMPASS toolset  to complete may research?

Regards,

Sergio Norio Itami