| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Server: nginx/1.18.0
Date: Thu, 15 Jan 2026 06:07:35 GMT
Content-Type: text/html
Content-Length: 169
Location: https://paradise.fi.muni.cz/beem/
Connection: keep-alive
Strict-Transport-Security: max-age=63072000; includeSubdomains; preload
X-Frame-Options: DENY
X-Content-Type-Options: nosniff
HTTP/1.1 200 OK
Server: nginx/1.18.0
Date: Thu, 15 Jan 2026 06:07:35 GMT
Content-Type: text/html; charset=utf-8
Last-Modified: Thu, 14 Mar 2024 09:32:01 GMT
Transfer-Encoding: chunked
Connection: keep-alive
ETag: W/"65f2c411-9a0"
Strict-Transport-Security: max-age=63072000; includeSubdomains; preload
X-Frame-Options: DENY
X-Content-Type-Options: nosniff
Content-Encoding: gzip
ParaDiSe
ParaDiSe – Parallel & Distributed Systems Laboratory
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