Rare find

apalache. APALACHE: symbolic model checker for TLA+ and Quint

github.com/apalache-mc/apalache

by

@apalache-mc

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.