Proprietário · apalache-mc

apalache-mc

Repositórios de código aberto acompanhados de apalache-mc, ordenados por estrelas.

1 repositório

#1
apalache ↗@apalache-mcScala
APALACHE: verificador de modelo simbólico para TLA+ e Quint.
★ 596+1Variação de estrelas nos últimos 7 dias