SENVA (System ENgineering and VAlidation) is an international joint research gathering the VASY team of INRIA and the SEN2 team of CWI.
Both teams have international expertise as regards the formal specification and computer-aided validation of safety-critical systems (including distributed, embedded, and real-time systems). Both teams share a common methodology based on the theory of process algebras developed by Baeten, Bergstra, Hoare, Milner, and others. Both teams develop (and make available) robust software tools, namely the CADP toolset for VASY (http://cadp.inria.fr) and the mCRL toolset for SEN2 (http://www.cwi.nl/~mcrl), which have been widely used for numerous industrial case-studies.
The SENVA collaboration aims at strengthening a long-standing, although informal, collaboration undertaken several years before 2004. Key objectives for SENVA are to increase the interoperability of the methods and tools developed by VASY and SEN2, and to design the next generation of tools. By joining the competences and workforce of both teams, the intent is to build a world-class leader in formal methods and tools for the safe design of safety-critical systems.
Before the launch of the SENVA associated team in March 2004, there has been a long-standing history of collaboration between CWI/SEN2 and INRIA/VASY. We recall here the main facts:
One key objective of the SENVA team is to provide a formal framework to amplify this collaboration, which so far took place informally.
INRIA and CWI are two national research institutes in computer science.They have a long-standing tradition of collaboration at the European level, in particular in the ERCIM consortium of which INRIA and CWI are both founding members.
In the past, INRIA and CWI have been involved in several European projects, such as GIPE, CONFER, MADE, and CONFER-2. Currently, INRIA and CWI are partners in four FP6 "networks of excellence", namely Delos, Euro-NGI, Muscle, and Pascal. However, formal collaborations seem to be less present in the last years. For instance, apart from the four aforementioned networks of excellence, we are not aware of any other FP6 action (such as IP, STREP, CA, or SSA) in which both INRIA and CWI would be involved.
Besides SENVA, there is also another associated research team between INRIA and CWI named AirCube dedicated to rewriting techniques. The INRIA project involved in AirCube is the PROTHEO team of Claude Kirchner. The CWI team involved in AirCube is SEN1 - MetaEnvironment, led by Paul Klint.
General information about scientific cooperation between France and the Netherlands can be found on the following web-sites: