मुख्य सामग्री पर जाएँ
buildradar
साइन इन करें

apalache-mc/apalache

@apalache-mc

APALACHE: TLA+ और Quint के लिए प्रतीकात्मक मॉडल चेकर

स्टार
598
फ़ोर्क
53
भाषा
Scala
लाइसेंस
Apache-2.0
आख़िरी push
18 घंटे पहले
Scalaverificationmodel-checkingtlatlaplussmtapalachequint

अभी कोई संबंधित intel नहीं

यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।