Published April 5, 2022 | Version v1
Software Open

ProB Linux 1.12.0-beta1

Authors/Creators

  • 1. University of Düsseldorf

Description

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.

Files

Files (24.8 MB)

Name Size Download all
md5:6b317e92db8434e5b376bebbbfc1885a
24.8 MB Download