|
Link
|
Description
|
Proposed
by
|
|
loria.fr
|
Click'n'Prove (or "La
Balbulette" for the French name) is the proactive interface of the
interactive prover of B4free. |
Jean-Raymond Abrial
Dominique Cansell |
|
lsr.imag.fr/B/ |
This site intends to gather the main references related to the B Method, B Tools
and B Users. |
Didier
Bert |
|
atelierb.eu
|
A direct link to Atelier B web site, where you can find many interesting
resources (articles, example, ...) to download |
ClearSy
|
|
vl.fmnet.info/b/ |
More resources available on the FMNET site. |
Jonathan Bowen |
|
zb2005.org/ |
home page of the 4th International Conference of B and Z Users |
ClearSy
|
|
inria.fr |
INRIA news letter about Click'N'Prove (french) |
ClearSy
|
|
inria.fr |
INRIA news letter about Click'N'Prove (english) |
ClearSy
|
|
sourceforge.net |
The RODIN platform.
The RODIN platform is an open
tool platform for the cost effective rigorous development of dependable
complex software systems services. This platform is based on the event-B formal method and provides natural support for
refinement and mathematical proof
|
ClearSy
|
