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 - can download and install ProB - can run the regular benchmarks - can run the TLC benchmarks - 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.

The source of the models can be found in the README and in the accompanying ifm2022 paper.

Related Organizations

Heinrich Heine University Düsseldorf
Germany

Keywords

formal methods, B method, model checking

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average