newsBRILLANT - News: Studio B & BRILLANT

Show feedback again
Latest News
B parsing is complete posted by scolin, Mon 16 Apr 2012 04:22:19 PM UTC - 0 replies
CSP||B tool for calculating control loop invariants posted by scolin, Mon 30 Nov 2009 06:01:23 PM UTC - 0 replies
BiCoax, a Coq library for B, is in the repository posted by scolin, Tue 02 Sep 2008 02:54:50 PM UTC - 0 replies
Alpha (debian) package : brillant-core posted by gmariano, Tue 29 Jan 2008 11:57:45 AM UTC - 1 reply
New jabber chatroom / nouveau salon jabber posted by scolin, Mon 28 Jan 2008 04:51:22 PM UTC - 0 replies
[Submit News]
[13 news in archive]


Item posted by Georges Mariano <gmariano> on Thu 13 May 2004 10:05:59 AM UTC.

Thanks to Bruno Tatibouet, the "Studio B" development is now available
on the BRILLANT project site.

Studio B is a B formal specification dedicated editor, connected to the
batch mode of Atelier B.

See also :

New items are :

CVS repository

(see for a cvs quick start)

Precompiled binary

(not usable without the icons/pixmaps)

GNU/Linux packages

named brillant-studiob-*.deb|rpm (WARNING (very) experimental stuff)

Comments, experiences, bug reports, help(!) should be directed to :

  • regarding studioB
  • regarding BRILLANT(/


No messages in Studio B & BRILLANT


Start a New Thread:

You could post if you were logged in
Show feedback again

Back to the top

Powered by Savane 3.1-cleanup