Benchmarking for COOL Model Checking

There is a newer version of the record available.

Published September 10, 2023 | Version v2
Software Open

Benchmarking for COOL Model Checking

Creators

  • 1. University of Gothenburg
  • 2. Friedrich-Alexander Universität Erlangen-Nürnberg

Description

See README.pdf for usage instructions

Files

README.pdf

Files (97.8 MB)

Name Size Download all
md5:d925fffb030f57e71388137656ff0809
7.0 MB Download
md5:6be6a81d28becb3bc9dbb13d4ea3e355
77.3 MB Download
md5:e3c6ac4d72f5aee3577aebfdeafec37b
4.0 MB Download
md5:7d13a020d66eb7e2455e51631835a0db
4.3 MB Download
md5:5d24fe80cd6448e0383cc6643ca361ec
5.1 MB Download
md5:dd7959fe818be91dc6dc0cfd2f6b5e5a
35.1 kB Download
md5:562a0a602af742e9f7311f8ab5219fb3
128.7 kB Preview Download