Baigorria, Lorena, Ana Gabriela Garis, and Daniel Riesco.
" Formal Verification and Validation of Smart Contracts for Blockchain with Alloy." <em>Companion Proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing,
Valparaíso/Chile, 2025</em>. SBC, 2025,  
pp.39-42.