BEEM: BEnchmarks for Explicit Model Checkers

The BEEM database has been discontinued.

As DIVINE 4 focuses on C and C++ programs and no longer supports DVE models, the BEEM database cannot be used with it. If you want to run DVE models with DIVINE, please use the older DIVINE 3.3.3.


Download All models and their descriptions from the old BEEM database in a single .tar.gz file.
© ParaDiSe Laboratory, 1998–2024