Published June 19, 2024 | Version 1.13.1-beta1
Software Open

ProB Linux 1.13.1-beta

Creators

  • 1. ROR icon Heinrich Heine University Düsseldorf

Description

This beta release of ProB (https://prob.hhu.de) for Linux can be used in the ifm2022 virtual box machine (https://zenodo.org/records/5794839).

It is used by the artefact that accompanies the paper "B2SAT: A Bare-Metal Reduction of B to SAT" to appear in the proceedings of the FM'2024 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 (54.7 MB)

Name Size Download all
md5:b0f3253cab2ca4aa3eea7ebc5f005ba7
54.7 MB Download