Difference between revisions of "Main Page"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
==Laboratory== | ==Laboratory== | ||
| − | [[Image:Logo VERIMAG vectorise.svg| | + | [[Image:Logo VERIMAG vectorise.svg|100px]] |
| − | [[Image:UJFquadriBaseGauche.png| | + | [[Image:UJFquadriBaseGauche.png|180px]] |
| − | [[Image:WEB CNRS-filaire-Quadri.jpg| | + | [[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 Grenoble, France. | ||
Revision as of 20:25, 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
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.
