Erfasste Open-Source-Repos von quint-co, sortiert nach Sternen.
Eine ausführbare Spezifikationssprache mit hervorragenden Werkzeugen basierend auf der Temporalen Logik der Aktionen (TLA)
