Team VerTeCs

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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.


previous
next

Logo Inria