RNTL - Réseau National en Technologies Logicielles

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

Project coordinator

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.

Partner

INRIA
CEA - LIST
INRIA

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