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. |