apalache-mc/apalache
@apalache-mcAPALACHE: Symbolischer Modellprüfer für TLA+ und Quint
Sterne
596
Forks
53
Sprache
Scala
Lizenz
Apache-2.0
Letzter Push
vor 3 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.