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.