Propietario · apalache-mc

apalache-mc

Repositorios de código abierto monitorizados de apalache-mc, ordenados por estrellas.

1 repositorio

#1
apalache ↗@apalache-mcScala
APALACHE: verificador de modelos simbólicos para TLA+ y Quint
★ 596+1Variación de estrellas de los últimos 7 días