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.
