Section: Application Domains

Current industrial cooperations.

Regarding applications and case studies with industrial end-users of our techniques, we cooperate with STM icroelectronics on compositional analysis and abstract interpretation for the TLM-based System-on-Chip design flow.