ProB Linux 1.12.0-beta1

This beta release of ProB (https://prob.hhu.de) for Linux can be used in the ifm2022 virtual box machine. It is used by the artefact that 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. ProB is based on research and implementation efforts by many people, see https://prob.hhu.de/w/index.php?title=Team. To cite ProB you can use this article: http://dx.doi.org/10.1007/s10009-007-0063-9. The original article was published in 2003 at FME: https://rdcu.be/cKLIv.

Related Organizations

Heinrich Heine University Düsseldorf
Germany

Keywords

model checkig

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