RNTL - Réseau National en Technologies Logicielles

Analyse de programmes C critiques embarqués (C Analysis Toolbox) – CAT

Project coordination

Benjamin MONATE (CEA - LIST)

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.



Help of the ANR 1,012,938 euros
Beginning and duration of the scientific project: - 36 Months

Useful links

Explorez notre base de projets financés



ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter