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.

Financed by

European Union

View online : ERC STATOR homepage