Team Pop Art

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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, and with DCN on the multi-criteria real-time scheduling issues for action planning of their defense systems.


previous
next

Logo Inria