Difference between revisions of "Main Page"

From STATOR
Jump to navigation Jump to search
Line 6: Line 6:
  
 
==Laboratory==
 
==Laboratory==
 +
[[Image:Logo VERIMAG vectorise.svg|50px]]
 +
[[Image:UJFquadriBaseGauche.png|50px]]
 
[[Image:WEB CNRS-filaire-Quadri.jpg|50px]]
 
[[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:24, 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.