Skip to Main content Skip to Navigation
Conference papers

BRILLANT: an open source platform for B

Samuel Colin 1, * Dorian Petit 2 Georges Mariano 3 Vincent Poirriez 2 
* Corresponding author
1 Chercheur indépendant
2 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
3 INRETS/ESTAS - Evaluation des Systèmes de Transports Guidés et leur Sécurité
Abstract : This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.
Keywords : B method tool support XML
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
https://hal.inria.fr/inria-00480709
Contributor : Samuel Colin Connect in order to contact the contributor
Submitted on : Tuesday, May 4, 2010 - 5:30:24 PM
Last modification on : Tuesday, October 19, 2021 - 6:38:11 PM
Long-term archiving on: : Thursday, September 16, 2010 - 12:43:03 PM

File

Vignette du document
2010-02-Colin-WSTBFM.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00480709, version 1

Collections

CNRS | UNIV-VALENCIENNES | IFSTTAR | LAMIH

Citation

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez. BRILLANT: an open source platform for B. Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

213

Files downloads

435

 

Contact                    Legal Notice                    Personal Data