newsBRILLANT - News: Alpha (debian) package : brillant-core

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

Alpha (debian) package : brillant-core

Item posted by Georges Mariano <gmariano> on Tue Jan 29 11:57:45 2008.

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.

!WARNING! This package (and the software/doc inside) is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.


Message: 15065
well (posted by rajrathore, Thu Jun 6 08:58:27 2013)

Gna has a well known in the sites .
<a href="" rel=""></a>

Thread Author Date
wellrajrathoreThu Jun 6 08:58:27 2013


Post a followup to this message

You could post if you were logged in
Show feedback again

Back to the top

Powered by Savane 3.1-cleanup