Posts Tagged with "intermediate"
Message Soup: the Secret Sauce for Consensus Specifications
Learn about the message soup technique to write more powerful specifications, with the MonadBFT consensus protocol as a driving example.
Understanding Solana's Alpenglow with Quint
Use the Quint spec we have written for the Alpenglow consensus algorithm to learn about it in an interactive way, while also learning how to use the Quint tools like we do.