Difference between revisions of "Main Page"
Jump to navigation
Jump to search
| Line 12: | Line 12: | ||
[[Image:WEB CNRS-filaire-Quadri.jpg|80px]] | [[Image:WEB CNRS-filaire-Quadri.jpg|80px]] | ||
| − | '''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 [[wikipedia:Grenoble|Grenoble]], France. |
| + | |||
| + | [[File:Grenoble from Moucherotte IMG 0861 tuned.jpg|800px]] | ||
Revision as of 20:45, 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.
For more detail, see description of work.
Laboratory
Error creating thumbnail: File missing
Error creating thumbnail: File missing
Error creating thumbnail: File missing
STATOR is hosted at VERIMAG, a joint research laboratory of CNRS and Université Joseph Fourier in Grenoble, France.
Error creating thumbnail: File missing
