Spinroot

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Performance metrics

Some time ago our friends at Brno have assembled a valuable database of verification models, with a wealth of information: http://anna.fi.muni.cz/models/ (the database is currently being reconstructed, but all models can still be downloaded as a single tar file).

Included in the database are models in DVE format with some performance data, and available are also mechanically generated versions in Promela of the same models.

A few years ago we obtained performance numbers for Spin for all models in this database that have a Promela version (about 232 models or model variants). The results are tabulated here:
   
            http://spinroot.com/spin/beem.html

Most of the performance data tabulated on this page is machine generated from scripts.
Please send a note if you spot any inaccuracies.