Posts Tagged with "intermediate"
A new LLM-friendly library for Model-Based Testing
We launched Quint Connect, a library for Model-Based Testing in Rust
Message Soup: the Secret Sauce for Consensus Specifications
The message soup technique enables more powerful specifications. Featuring MonadBFT.
Understanding Solana's Alpenglow with Quint
Use the Alpenglow spec to learn about this consensus algorithm in an interactive way.