newsBRILLANT - News: Studio B & BRILLANT

 
 
Show feedback again
Latest News
B parsing is complete posted by scolin, Mon Apr 16 16:22:19 2012 - 0 replies
CSP||B tool for calculating control loop invariants posted by scolin, Mon Nov 30 18:01:23 2009 - 0 replies
BiCoax, a Coq library for B, is in the repository posted by scolin, Tue Sep 2 14:54:50 2008 - 0 replies
Alpha (debian) package : brillant-core posted by gmariano, Tue Jan 29 11:57:45 2008 - 1 reply

Studio B & BRILLANT

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

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 : http://download.gna.org/brillant/studioB/README

New items are :

CVS repository
============== http://cvs.gna.org/viewcvs/brillant/studioB/

(see https://gna.org/cvs/?group=brillant for a cvs quick start)

Precompiled binary
================== http://download.gna.org/brillant/studioB/

(not usable without the icons/pixmaps)

GNU/Linux packages
================== http://download.gna.org/brillant/packages/

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

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

  • bruno.tatibouet@univ-fcomte.fr regarding studioB
  • georges.mariano@inrets.fr regarding BRILLANT(/gna.org)

Comments:

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