Formal Verification of Blockchain Based Tender Systems. - René Dávila; Rocío Aldeco-Pérez; Everardo Bárcenas (Program. Comput. Softw., 2022)