Here are the historical versions:

You might want to read my Master's Thesis if you want to play with Ebba.

The Savannah interface is available.

The Ebba Toolset implements a (variant of) the B formal method for software development originally developed by Jean-Raymond Abrial.

Last modified on $Date: 2003/02/14 18:02:15 $ by $Author: ibid $ (at