Skip to Main content Skip to Navigation
Conference papers

BRILLANT: an open source platform for B

Abstract : This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.
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

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

Identifiers

  • HAL Id : inria-00480709, version 1

Collections

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⟩

Share

Metrics

Record views

213

Files downloads

435