TLA+ 8
- Research & development as a service
- ChonkyBFT: Consensus Protocol of ZKsync (paper)
- Exploring Automatic Model-Checking of the Ethereum specification (tech. report)
- Invited talk at VSTTE 2024
- Tutorial at TLA+ Community Meeting 2024
- Apalache has moved
- Specification and model checking of BFT consensus by Matter Labs
- Quint: Another look at the logic of TLA+