BEEM: BEnchmarks for Explicit Model checkers
One of the important problems in formal verification has long been that there is no generally agreed upon benchmark set that researchers can use to compare the performance of different algorithms, different implementation, or different verification tools.
The goal of the project is to address this problem by making available a large benchmark set of verification models.
Researchers
Radek Pelanek (project leader), Vaclav Rosecky
Recent Publications
R. Pelanek. BEEM: BEnchmarks for Explicit Model checkers, SPIN 2007. [ paper PDF ]
BEEM Main Page