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.
Type de document :
Communication dans un congrès
Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. 2010
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00480709
Contributeur : Samuel Colin <>
Soumis le : mardi 4 mai 2010 - 17:30:24
Dernière modification le : jeudi 11 janvier 2018 - 06:19:15
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 12:43:03

Fichier

2010-02-Colin-WSTBFM.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2010. 〈inria-00480709〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

150