specification 8
- Research & development as a service
- ChonkyBFT: Consensus Protocol of ZKsync (paper)
- Exploring Automatic Model-Checking of the Ethereum specification (tech. report)
- Specification and Model-checking of the ZKsync Governance Protocol
- Apalache has moved
- Specification and model checking of BFT consensus by Matter Labs
- Solarkraft: A runtime monitoring tool for Stellar
- Quint: Another look at the logic of TLA+