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.
