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.
Availability
| June | July | August | September | October | November |
|---|---|---|---|---|---|
| 🔨🔨🔨🔨🔨 | 🔨🔨🔨🔨😎 | 🔨🔨🔨🔨🔨 | 🔨🔨🔨🔨🔨 | 🔨🔨🔨🔨🔨 | 🔨🔨🔨🔨🔨 |
Legend: 🔨 is 1 busy day per week, 😎 is 1 free day per week (bookable)
Protocol audits
Protocol audits for Web3
Model Checking Accountability in Ethereum
Exploring Automatic Model-Checking of the Ethereum specification
Quint
Alternative syntax for the logic of TLA+
Solarkraft
A runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache