ProB Operation Caching ifm2022 Artefact
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/6414756
下载链接
链接失效反馈官方服务：
资源简介：
The artefact accompanies the paper "Operation Caching and State Compression for Model Checking of High-Level Models" to appear in the proceedings of the ifm2022 conference. The artefact enables one to reproduce the results in the paper.
The aftefact contains the models and it contains a Makefile which
- can download and install ProB
- can run the regular benchmarks
- can run the TLC benchmarks
- can install LTSMin and run the LTSMin benchmarks
Before running make bench_prob please remove line 102 (make clean) from the Makefile! This line accidentally erases benchmark results for previously run configurations.
The source of the models can be found in the README and in the accompanying ifm2022 paper.
The SHA of the archive should be
shasum -a 256 ../ifm2022_prob_artifact.tgz
8ee2aecc915143e56ac39b501d282d1d8ab099f0b13f9df35304829c0b4f2f32 ../ifm2022_prob_artifact.tgz
创建时间：
2022-04-13
