CWI INRIA

SENVA: An International Joint Research Team on Safety-Critical Systems


SENVA ("System ENgineering and VAlidation") is a joint research team between CWI and INRIA, the Dutch and French national institutes for research on computer science. SENVA focusses on the formal specification and computer-aided validation of safety-critical systems.

The SENVA Team

The SENVA Team. From left to right: Christophe Joubert, Wan Fokkink, Stefan Blom, Bert Lisser, Radu Mateescu, Hubert Garavel, David Champelovier, Damien Bergamini, Aurore Collomb, Frédéric Lang, Nicolas Descoubes, Jaco van de Pol, and Wendelin Serwe.

SENVA News: