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 | December |
---|---|---|---|---|---|---|
π¨π¨π¨π¨π¨ | π¨π¨π¨π¨π | π¨π¨π¨π¨π¨ | π¨π¨π¨π¨π¨ | π¨π¨π¨π¨π¨ | π¨π¨π¨π¨π¨ | π¨π¨π¨π¨π¨ |
Legend: π¨ is 1 busy day per week, π is 1 free day per week (bookable)
Symbolic model checker for TLA+
Protocol audits and research for Web3
Exploring Automatic Model-Checking of the Ethereum specification
Alternative syntax for the logic of TLA+
A runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache