Section: New Software and Platforms

Vercors Component Editor (VCE)

VERification of models for distributed communicating COmponants, with safety and Security

Functional Description

The Vercors tools include front-ends for specifying the architecture and behaviour of components in the form of UML diagrams. We translate these high-level specifications, into behavioural models in various formats, and we also transform these models using abstractions. In a final step, abstract models are translated into the input format for various verification toolsets. Currently we mainly use the various analysis modules of the CADP toolset.

• Participants: Eric Madelaine, Antonio Cansado, Ludovic Henrio, Marcela Rivera, Oleksandra Kulankhina, Bartlomiej Szejna, Nassim Jibai and Siqi Li

• Contact: Eric Madelaine

• URL: http://team.inria.fr/scale/software/vercors/