Main Page

From STATOR
Jump to navigation Jump to search

The STATOR project

Error creating thumbnail: File missing

STATOR is a 5-year research project funded by the European Research Council. It focuses on developing new methods for static analysis of software — that is, mathematically and automatically proving that software behaves in the desired way.

The project is led by David Monniaux, senior researcher at CNRS.

Laboratory

Error creating thumbnail: File missing

STATOR is hosted at VERIMAG, a joint research laboratory of CNRS and Université Joseph Fourier in Grenoble, France.