Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/SEFM.2005.10 | SEFM |
Keywords | Field | DocType |
b method,open-source platform,central design,consistent toolbox,rigourous software development,xml-based platform,safe code,open source,safe system,core component,different approach,commercial tool,bcaml project,code generation,software development,public domain software,formal specification,formal verification,xml,unified modeling language | Programming language,XML,Unified Modeling Language,Computer science,Toolbox,Formal specification,Code generation,B-Method,Software development,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2435-4 | 2 | 0.40 |
References | Authors | |
11 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Samuel Colin | 1 | 16 | 2.84 |
Dorian Petit | 2 | 18 | 3.24 |
Vincent Poirriez | 3 | 89 | 7.64 |
Jerome Rocheteau | 4 | 2 | 0.40 |
Rafael Marcano | 5 | 2 | 0.40 |
Georges Mariano | 6 | 15 | 2.89 |