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.


European Union

Voir en ligne : ERC STATOR homepage