Help

Online documentation

Documentation generated by doxygen is available here.

The grammar (generated by bison) for the federation interpreter is available here. You can check this example to get started.
Update: The interpreter is deprecated, has its predt function buggy, and is not supported anymore. Please use the Ruby module. It is much more powerful.

Installing

./configure  
make  
su  
make install  

The default installation path is /usr/local. you can specify another prefix with the option --prefix=YOUR_PATH.

For some reason the root makefile has a missing declaration. You will need to edit the AR definition and put the archiver name of your system, typically ar.

Notes on compiling

You need to add -DENABLE_MONITOR to enable an efficient memory leak checker for new/delete and malloc/free (you need to include debug/malloc.h for C). If you want debug information, you can include debug/new.h for the C++ leak checker. However, there are 2 limits to include debug/new.h: 1) not in files that use the placement constructor and 2) always have the delete statement part of a block, ie, {..} and never use something like "if (bla) delete foo;" ("if (bla) { delete foo; }" is fine).

Useful materials

• A presentation on the DBM and the implemented subtraction algorithms. ppt pdf.
• A book chapter on DBMs. pdf.

Contact Information

If you have comments or questions on the DBM library you can contact the UPPAAL development team, see https://uppaal.org/contact/ for details.