newsBRILLANT - News

Show feedback again
Print summaries for the latest news.

Latest News Approved - With Summaries
B parsing is complete
     posted by scolin, Mon Apr 16 16:22:19 2012 - 0 replies

As of the last few months, the bparser of BCaml was modified. The end result is that we have a B grammar without any shift/reduce of reduce/reduce conflict.

Although the grammar is not as restrictive as it should be for e.g. B implementations, the parser should now work for correct B machines of any existing B project.

CSP||B tool for calculating control loop invariants
     posted by scolin, Mon Nov 30 18:01:23 2009 - 0 replies

Added as of today to the extension tools of Brillant/BCaml, a tool developed by Huu Nghia Nguyen from the LORIA/Dedale team for his internship.

For the theory behind, take a look at

In practice, after receiving the source at ...

[Read more]
BiCoax, a Coq library for B, is in the repository
     posted by scolin, Tue Sep 2 14:54:50 2008 - 0 replies

Coq libraries for B have entered the BRILLANT project under the BiCoax name. These libraries are meant as a future replacement for BPhoX, as PhoX is not maintained anymore: this seems a good excuse to transfer BPhoX knowledge to Coq, whose longevity is more ensured. ...

[Read more]
Alpha (debian) package : brillant-core
     posted by gmariano, Tue Jan 29 11:57:45 2008 - 1 reply

A new (debian) package is available in the download area.
It is still in alpha stage but provides a small set of B tools (parser, proof obligation generator, xsl transformation,...) and uses the phox prover to discharge proof obligations. ...

[Read more]
New jabber chatroom / nouveau salon jabber
     posted by scolin, Mon Jan 28 16:51:22 2008 - 0 replies

We moved the jabber chatroom to:
so as to get logs of the discussions, available here:


Le salon de discussion est déplacé vers:
de façon à avoir un archivage des discussions, disponibles ici:

Changement wiki / Wiki change
     posted by scolin, Fri Apr 13 10:20:28 2007 - 0 replies

Due à des migrations de serveurs, l'adresse du wiki est désormais la suivante :

Due to server migrations, the url of the Brillant wiki is as follows:

Le wiki pour le projet BRILLANT
     posted by gmariano, Wed Feb 28 13:19:55 2007 - 0 replies

Pour accélerer et ouvrir les réflexions autour du développement de la plateforme BRILLANT un (média)wiki est disponible à l'adresse suivante :

Entrée libre et gratuite.

     posted by scolin, Mon Feb 12 16:05:43 2007 - 0 replies

The source repository of BRILLANT has been transformed from CVS to Subversion. Details for checking it out are in the "Source Code" tab at the top of the page.

Normally now the subdirectories are as follows :
- website/ where the website holds, obviously. The move had already been made by Gna! admins ...

[Read more]
     posted by scolin, Thu Dec 14 12:23:46 2006 - 0 replies

Un wiki vient d'être mis en place. Demandez son URL aux membres du projet !

Remise à niveau des outils de la plateforme
     posted by scolin, Mon Dec 11 14:22:53 2006 - 0 replies

Au sommaire :
- Style LaTeX B2
- Remise à jour de tout

Un nouveau style LaTeX pour B a fait son apparition. Il s'appelle B2, et fait appel au package listings de pretty-printing de code source. Ça fonctionne plutôt bien, certains trucs un peu exotiques de B ne fonctionnent pas (encore), vous êtes invités à le tester. ...

[Read more]

Older News Approved
ABTOOLS - Nouvelle structure posted by boulangerjl, Wed Aug 25 17:47:40 2004 - 0 replies
De UML à B posted by gmariano, Tue Aug 3 14:34:24 2004 - 0 replies
Studio B & BRILLANT posted by gmariano, Thu May 13 10:05:59 2004 - 0 replies
[Submit News]
[13 news in archive]
Show feedback again

Back to the top

Powered by Savane 3.1-cleanup