ProB Operation Caching ifm2022 Artefact

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<br> - can download and install ProB<br> - can run the regular benchmarks<br> - can run the TLC benchmarks<br> - can install LTSMin and run the LTSMin benchmarks The source of the models can be found in the README and in the accompanying ifm2022 paper.