Sciweavers

SEFM
2005
IEEE

BRILLANT : An Open Source and XML-based platform for Rigourous Software Development

14 years 4 months ago
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on the formalism itself or on its possible extensions. This article presents an open-source platform, with a focus on the platform’s core component, the BCaml project. The tools presented here are used to show how very different approaches can be brought together around a central design to form a consistent toolbox, and can be used to develop safe systems, from their specifications to their validation and the generation of safe code.
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where SEFM
Authors Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano
Comments (0)