@ARTICLE{
author={Bertrand Nathalie,Ghorpade Pranav,Rubin Sasha,Scholz Bernhard,Subotic Pavle},
year={2025},
title={Reusable Formal Verification of DAG-Based Consensus Protocols},
journal={NASA FORMAL METHODS, NFM 2025},
volume={15682},
number={},
pages={138-158},
document_type={Proceedings Paper},
}