RNTL - Réseau National en Technologies Logicielles

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

Project coordinator

CEA - LIST (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.

Partner

INRIA
INRIA
CEA - LIST

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

Useful links

Sign up for the latest news:
Subscribe to our newsletter