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
.
May | June | July | August | September |
---|---|---|---|---|
Fully booked | Fully booked | 50% | 50% | 50% |
Symbolic model checker for TLA+
Protocol audits for Web3
Alternative syntax for the logic of TLA+
A runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache