quint 7
- Specification and Formal Verification of the Aztec Governance Protocol
- Research & development as a service
- ChonkyBFT: Consensus Protocol of ZKsync (paper)
- Specification and Model-checking of the ZKsync Governance Protocol
- Apalache has moved
- Specification and model checking of BFT consensus by Matter Labs
- Quint: Another look at the logic of TLA+