Main Page

Revision as of 20:18, 24 October 2012 by David Monniaux (talk | contribs)
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.


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