Erfasste Open-Source-Repos von apalache-mc, sortiert nach Sternen.
APALACHE: Symbolischer Modellprüfer für TLA+ und Quint
