Difference between revisions of "Main Page"

From STATOR
Jump to navigation Jump to search
(+flag)
m
Line 1: Line 1:
 
==The STATOR project==
 
==The STATOR project==
 
[[Image:ERC acronym.pdf|150px|right]]
 
[[Image:ERC acronym.pdf|150px|right]]
''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|European Research Council]], an organisation established by the [[wikipedia:European Union|European Union]]. [[Image:Flag of Europe.svg||40px]]
+
'''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|European Research Council]], an organisation established by the [[wikipedia:European Union|European Union]]. [[Image:Flag of Europe.svg||40px]]
 
'
 
'
  

Revision as of 20:55, 25 October 2012

The STATOR project

Error creating thumbnail: File missing

STATOR is a 5-year research project funded by the European Research Council, an organisation established by the European Union. Flag of Europe.svg '

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