Verimag

STATOR

ERC project 2013 -2017

STATOR is a 5-year research project funded by the European Research Council, an organisation established by the European Union.

It focuses on developing new methods for static analysis of software — that is, mathematically and automatically proving that software behaves in the desired way.

Financement

European Union

Voir en ligne : ERC STATOR homepage

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 913941