Jaber. Quicksilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (extended Version). 13 Sept. 2021.