Difference between revisions of "Main Page"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
==The STATOR project== | ==The STATOR project== | ||
| − | [[Image:ERC acronym.pdf|150px| | + | [[Image:ERC acronym.pdf|150px|right]] |
'''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|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. | '''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|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. | ||
Revision as of 21:26, 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.
