Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.


Tree [r180] /

File Date Author Commit
B2JML 2011-08-09 wahlst [r163] updating library code for B2JML
BBENCH 2011-10-13 wahlst [r178] updated examples for change of SET representation
Binary 2014-05-09 jlboulanger [r180]
Documentation 2010-08-17 jlboulanger [r98] add generated documentation for toJML
Logo 2009-03-27 jlboulanger [r3] (JLB) Create ABTOOLS structure
Make 2010-08-16 wahlst [r90] updating case in paths
Test 2011-06-23 jlboulanger [r128] correct some file for compilation
src 2011-10-13 wahlst [r179] representing SETS as nonstatic final ghost vari...
CONTENTS.txt 2009-03-27 jlboulanger [r5] (JLB) Create ABTOOLS structure
CONTRIBUTORS.txt 2009-03-27 jlboulanger [r3] (JLB) Create ABTOOLS structure
INSTALL.txt 2009-03-27 jlboulanger [r4] (JLB) Create ABTOOLS structure
LICENSE.txt 2009-03-28 jlboulanger [r12] Mise a jour de la license
Makefile 2010-08-16 wahlst [r85] updating case in paths, changing SOURCES to src
README.txt 2009-03-27 jlboulanger [r4] (JLB) Create ABTOOLS structure
TODO.txt 2009-03-27 jlboulanger [r3] (JLB) Create ABTOOLS structure
VERSION.txt 2009-03-27 jlboulanger [r4] (JLB) Create ABTOOLS structure

Read Me

//      File            : README.txt
//      Author          : Boulanger Jean-Louis
//      Email           :
//	Copyright 1999-2009 Boulanger Jean-Louis
//      April 2001       Creation
//	May   2001	 Add some paragraph.
//	May   2008       change some things ..

What is it?


The Latest Version

See the file VERSION.txt for the current version.

This directory tree holds ABTools, a set of tools for the B method:
 - parser for B source programs.  
 - typechecker
 - ...

ABTools itself is written in Java, so it will run on any platform with a 
Java Virtual Machine (JVM).  However, it will only work with JDK 1.2 or later.  
ABTools produces an abstract syntax tree from a B source file, and gives 
the ability to query expressions for their types, and expressions, 
statements, and methods for the checked exceptions they throw.

ABTools uses ANTLR to create the lexer, parser, and abstract syntax tree
walkers that is uses.  See for more information on

Installation :

The file `INSTALL.txt' in this directory gives information on building and
installing ABTools.

Documentation is available in HTML format, in the Documentation/ directory.
For building see Documentation/index.html.
For installing see Documentation/index.html.


Reports of bugs in ABTools should be sent to the ABTools maintainer.  
The maintainer is currently Jean-Louis Boulanger <>.  

See the file `BUGS.txt' in this directory for a list of known bugs in the current

WHERE take it ?

The ABTools home page is  Updates,
bugfixes, and further documentation will appear there from time to

The ABTools CVS site is now hosted by the project BRILLANT on Savannah

Home :


Attention : Passage a GNA ...

This software is licensed under the terms you may find in the file
named "LICENSE.txt" in this directory. 

More to come
Thanks for using ABTOOLS.

Please send all your feedback to

// End of file README.txt