Difference between revisions of "Main Page"
Jump to navigation
Jump to search
m (→Laboratory) |
|||
| Line 6: | Line 6: | ||
==Laboratory== | ==Laboratory== | ||
| + | [[Image:WEB CNRS-filaire-Quadri.jpg|50px]] | ||
'''STATOR''' is hosted at [http://www-verimag.imag.fr/ '''VERIMAG'''], a joint research laboratory of CNRS and [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]] in Grenoble, France. | '''STATOR''' is hosted at [http://www-verimag.imag.fr/ '''VERIMAG'''], a joint research laboratory of CNRS and [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]] in Grenoble, France. | ||
Revision as of 20:23, 24 October 2012
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.
