The BEEM database has been discontinued.

New database of program instances for performance evaluation of the DiVinE model checker is under development.

Download All models and their descriptions from the old BEEM database in a single .tar.gz file.