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
Is it possible to provide me a license to use the COMPASS toolset to
complete may research?
Sergio Norio Itami