Team Cassis

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

  1. In automated deduction we have contributed to a new scheme for integrating decision procedures for satisfiability problems in first-order theories and model checking in temporal logic.

  2. We have started to apply successfully our verification techniques to two new application fields, namely web services and microrobotics.

  3. An ERC Starting Independent Researcher Grant submitted by Véronique Cortier has been among the very few to be selected for the second phase.

  4. The AVISPA Project has been nominated for Descartes Prize in 2007.


previous
next

Logo Inria