Apalache
Symbolic model checker for TLA+
You can always reach me by writing a message on
igor at konnov.phd or
igor.konnov at gmail.com.
Protocol audits
Protocol audits for Web3
Quint
Alternative syntax for the logic of TLA+
Solarkraft
A runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache