Team VerTeCs

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Overall Objectives

Highlights of the year

Arrival of Nathalie Bertrand.

N. Bertrand has been hired as Inria researcher in 2007 and arrived in October 1st. She comes with a strong background in formal verification, in particular on qualitative and quantitative verification on Markovian models.

End of ACI Potestat grant.

This project started in 2004 and ended in september 2007 has been our first involvement in security. It allowed us to learn a lot in this domain, to make some contributions by adaptating some work in test generation, diagnosis and control, and to start a larger collaboration in the RNTL Politess grant.


Logo Inria